Abstract
In this paper we exhibit axiomatizations for the theories of existentially closed posets and existentially closed semilattices. We do this by considering an infinite axiomatization which characterizes these structures in terms of embeddings of finite substructures, an axiomatization which exists for any locally finite universal class with a finite language and with the joint embedding and amalgamation properties. We then find particular finite subsets of these axioms which suffice to axiomatize both classes.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
M. H. Albert (1986) A preservation theorem for existentially closed structures with applications, (Preprint).
S.Burris (1984) Model companions for finitely generated universal Horn classes, J. Symbolic Logic 49, 68–74.
S.Burris and H.Werner (1979) Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248, 269–309.
G. Higman (1974) Finitely Presented Infinite Simple Groups, Notes on Pure Math 8, I.A.S. Austral. Nat. Univ.
P.Lipparini (1982) Locally finite theories with model companion, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 72, 6–11.
A.Macintyre (1977) Model completeness, Handbook of Mathematical Logic (ed. J.Barwise), North-Holland, Amsterdam, pp. 139–180.
H.Simmons (1972) Existentially closed structures, J. Symbolic Logic 37, 293–310.
V.Weispfenning (1978) A note on A note on ω0-categorical model-companions, Arch. Math. Logik 19, 23–29.
Author information
Authors and Affiliations
Additional information
Communicated by B. Jónsson
Research supported by an NSERC Postdoctoral Fellowship.
Research supported by NSERC Grant No. A7256.
Rights and permissions
About this article
Cite this article
Albert, M.H., Burris, S.N. Finite axiomatizations for existentially closed posets and semilattices. Order 3, 169–178 (1986). https://doi.org/10.1007/BF00390107
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00390107