A Preservation Theorem for EC-Structures with Applications
Albert, Michael H.
J. Symbolic Logic, Tome 52 (1987) no. 1, p. 779-785 / Harvested from Project Euclid
We characterize the model companions of universal Horn classes generated by a two-element algebra (or ordered two-element algebra). We begin by proving that given two mutually model consistent classes $\mathbf{M}$ and $\mathbf{N}$ of $\mathscr{L}$ (respectively $\mathscr{L}'$) structures, with $\mathscr{L} \subseteq \mathscr{L}'$, $\mathbf{M}^{\mathrm{ec}} = \mathbf{N}^{\mathrm{ec}}\mid_\mathscr{L}$, provided that an $\mathscr{L}$-definability condition for the function and relation symbols of $\mathscr{L}'$ holds. We use this, together with Post's characterization of $\mathbf{ISP}(A)$, where $A$ is a two-element algebra, to show that the model companions of these classes essentially lie in the classes of posets and semilattices, or characteristic two groups and relatively complemented distributive lattices.
Publié le : 1987-09-14
Classification: 
@article{1183742442,
     author = {Albert, Michael H.},
     title = {A Preservation Theorem for EC-Structures with Applications},
     journal = {J. Symbolic Logic},
     volume = {52},
     number = {1},
     year = {1987},
     pages = { 779-785},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742442}
}
Albert, Michael H. A Preservation Theorem for EC-Structures with Applications. J. Symbolic Logic, Tome 52 (1987) no. 1, pp.  779-785. http://gdmltest.u-ga.fr/item/1183742442/