A preservation theorem for EC-Structures with applications
Journal of Symbolic Logic 52 (3):779-785 (1987)
| Abstract | 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 M and N of L (respectively L') structures, with $\mathscr{L} \subseteq \mathscr{L}'$ , M ec = N ec ∣ L , provided that an L-definability condition for the function and relation symbols of L' holds. We use this, together with Post's characterization of 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHarvey Friedman & Lee Stanley (1989). A Borel Reducibility Theory for Classes of Countable Structures. Journal of Symbolic Logic 54 (3):894-914.
Holger Sturm (2000). Modal Horn Classes. Studia Logica 64 (3):301-313.
Robert Bonnet & Matatyahu Rubin (2002). On Essentially Low, Canonically Well-Generated Boolean Algebras. Journal of Symbolic Logic 67 (1):369-396.
Sergiu Rudeanu (1993). On Łukasiewicz-Moisil Algebras of Fuzzy Sets. Studia Logica 52 (1):95 - 111.
Shaughan Lavine (1991). Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory. Journal of Symbolic Logic 56 (4):1290-1316.
Alan H. Mekler (1990). Universal Structures in Power ℵ. Journal of Symbolic Logic 55 (2):466 - 477.
Bjarni Jónsson & Constantine Tsinakis (2004). Products of Classes of Residuated Structures. Studia Logica 77 (2):267 - 292.
Victor Harnik & Michael Makkai (1976). Applications of Vaught Sentences and the Covering Theorem. Journal of Symbolic Logic 41 (1):171-187.
Stanley Burris (1984). Model Companions for Finitely Generated Universal Horn Classes. Journal of Symbolic Logic 49 (1):68-74.
Michael H. Albert & Ross Willard (1987). Injectives in Finitely Generated Universal Horn Classes. Journal of Symbolic Logic 52 (3):786-792.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #275,053 of 550,917 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
