Abstract
Algebraically closed abelian groups are precisely the divisible abelian groups; the underlying groups of rational vector spaces are precisely the divisible abelian groups. That is, rational vector spaces are the skolemization of algebraically closed abelian groups, obtained by adding scalar multiplication by each rational to the set of operations. Algebraically closed bounded distributive lattices are precisely the complemented distributive lattices; the underlying lattices of boolean algebras are precisely the complemented distributive lattices. That is, boolean algebras are the skolemization of algebraically closed bounded distributive lattices, obtained by adding complementation to the set of operations.
We explore this idea for arbitrary universal classes of algebras and focus particularly on the case of meet semilattices. The algebraically closed meet semilattices are precisely the distributive meet semilattices; their skolemization seems not to have been discussed previously in the literature. We discuss it here but reach no firm solution.
Similar content being viewed by others
References
Adler J., Rupp R., Schmid J.: The class of algebraically closed p-semilattices is finitely axiomatizable. Algebra Universalis 70, 287–308 (2013)
Bacsich P.: Cofinal simplicity and algebraic closedness. Algebra Universalis 2, 354–360 (1972)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)
Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications. Cambridge Univ. Press, (1993)
Ježek J., Quackenbush R.: Directoids: algebraic models of up-directed sets. Algebra Universalis 27, 49–69 (1990)
Macintyre, A.: Model completeness. In: Barwise, J. (ed.) Handbook of Mathematical Logic. North Holland, (1977)
Pudlak P.: On congruence lattices of lattices. Algebra Universalis 20, 96–114 (1985)
Robinson, A.: Model theory as a framework for algebra. In: Morley, M.D. (ed.) Studies in model theory, pp. 134–157. MAA, (1973)
Schmid J.: Algebraically and existentially closed distributive lattices. Zeitschrift f. Math. Logik 25, 525–530 (1979)
Schmitt P.: Algebraically complete lattices. Algebra Universalis 17, 135–142 (1983)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by G. McNulty.
Dedicated to Brian Davey on the occasion of his 65th birthday
Rights and permissions
About this article
Cite this article
Quackenbush, R.W. Skolemizing algebraically closed universal classes of algebras. Algebra Univers. 74, 361–380 (2015). https://doi.org/10.1007/s00012-015-0350-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-015-0350-3