Abstract
We prove that the class of existentially complete lattices is not an elementary class; thus the theory of lattices does not have a model-companion. Finally we observe that there is a locally finite finitely generic lattice.
Similar content being viewed by others
References
P. D. Bacsich,Cofinal simplicity and algebraic closedness, Algebra Universalis2 (1972), 354–360.
S.Burris,An existence theorem for model-companions, Proc. of the lattice theory conference Ulm 1975, pp. 3–37.
G. Grätzer,General Lattice Theory, Birkhäuser Verlag, Basel 1978.
J.Hirschfeld and W. H.Wheeler,Forcing, Arithmetic and Division Rings, Lecture Notes in Math, Vol. 454.
A.Macintyre,Model Completeness, in:Handbook of Mathematical Logic, J. Barwise ed. North Holland P.C. 1977.
I. Rival, W. Ruckelshausen andB. Sands,On the ubiquity of herringbones in finitely generated lattices, Proc. Ams82 (1981), 335–340.
J. Schmid,Algebraically and existentially closed distributive lattices, Zeitschrift f. Math. Logik25 (1979), 525–530.
J. Schmid,Algebraically closed distributive p-algebras, Algebra Universalis15 (1982), 126–141.
J.Schmid,Existentially closed distributive p-algebras (to appear).
P. H. Schmitt,The model-completion of Stone algebras, Annales Sci. Univ. Clermont Sci. Math.13 (1976), 135–155.
V. Weispfenning,A note on ℵ o -categorical model completion, Archiv f. Math. Logik19 (1978), 23–29.
W. H. Wheeler,A characterization of companionable universal theories, JSL43 (1978), 402–429.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schmitt, P.H. Algebraically complete lattices. Algebra Universalis 17, 135–142 (1983). https://doi.org/10.1007/BF01194523
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01194523