Quantifier elimination for Stone algebras

Archive for Mathematical Logic 28 (2):75-89 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01633983

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quantifier elimination for modules.Volker Weispfenning - 1985 - Archive for Mathematical Logic 25 (1):1-11.
Quantifier Elimination for Distributive Lattices and Measure Algebras.Volker Weispfenning - 1985 - Mathematical Logic Quarterly 31 (14‐18):249-261.
Quantifier Elimination for Distributive Lattices and Measure Algebras.Volker Weispfenning - 1985 - Mathematical Logic Quarterly 31 (14-18):249-261.
Definable sets in Stone algebras.Guohua Wu, Niandong Shi & Lei Chen - 2016 - Archive for Mathematical Logic 55 (5-6):749-757.
Concrete barriers to quantifier elimination in finite dimensional C*‐algebras.Christopher J. Eagle & Todd Schmid - 2019 - Mathematical Logic Quarterly 65 (4):490-497.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
Quantifier elimination for infinite terms.G. Marongiu & S. Tulipani - 1991 - Archive for Mathematical Logic 31 (1):1-17.
The unique existential quantifier.H. B. Enderton - 1970 - Archive for Mathematical Logic 13 (1-2):52-54.
Substitution algebras in their relation to cylindric algebras.Anne Preller - 1970 - Archive for Mathematical Logic 13 (1-2):91-96.

Analytics

Added to PP
2013-11-23

Downloads
17 (#865,345)

6 months
4 (#1,005,098)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Model Companion of Stone Semilattices.Christoph Gerber & Jürg Schmid - 1991 - Mathematical Logic Quarterly 37 (31-32):501-512.

Add more citations

References found in this work

Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Model companions of distributive p-algebras.Jürg Schmid - 1982 - Journal of Symbolic Logic 47 (3):680-688.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Quantifier Elimination for Distributive Lattices and Measure Algebras.Volker Weispfenning - 1985 - Mathematical Logic Quarterly 31 (14‐18):249-261.

Add more references