References
Balbes, R., Dwinger, Ph.: Distributive lattices. Columbia, Missouri: University of Missouri Press 1974
Grätzer, G.: Lattice theory. San Francisco: Freeman 1971
Point, F.: Quantifier elimination for projectableL-groups and linear elimination for rings. Thèse, Mons 1983
Rauschning, S.: Quantorenelimination für Stonealgebren. Diplomarbeit, Heidelberg 1984
Rose, B.: Rings which admit elimination of quantifiers. J. Symb. Logic43, 92–112 (1978)
Schmid, J.: Algebraically closed distributivep-algebras. Algebra Univers.15, 126–141 (1982)
Schmid, J.: Model companions of distributivep-algebras. J. Symb. Logic47, 680–688 (1982)
Schmitt, P.H.: The model completion of Stone algebras. Ann. Sci. Univ. Clermont13, 135–155 (1976)
Tarski, A.: Arithmetical classes and types of boolean algebras. Bull. Am. Soc. Math.55, 64 (1949)
Weispfenning, V.: Stone algebras without prime model extensions. Unpublished manuscript. Abstract in J. Symb. Logic42, 115 (1977)
Weispfenning, V.: Aspects of quantifier elimination in algebra. In: Burmeister, P. et al. (eds.) Universal algebra and its links. Proc. 25. Arbeitstagung Darmstadt 1983. Berlin 1984, pp.85–105
Weispfenning, V.: Quantifier elimination for distributive lattices and measure algebras. Z. Math. Logik Grundlagen Math.31, 249–261 (1985)
Weispfenning, V.: Efficient decision algorithms for locally finite theories. Proc. AAECC-3 Grenoble 1985. (Lect. Notes Comput. Sci., vol. 229, pp. 262–273) Berlin Heidelberg New York Tokyo: Springer 1985
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Feuerstein, S. Quantifier elimination for Stone algebras. Arch Math Logic 28, 75–89 (1989). https://doi.org/10.1007/BF01633983
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01633983