Injectives in finitely generated universal horn classes
Journal of Symbolic Logic 52 (3):786-792 (1987)
| Abstract | Let K be a finite set of finite structures. We give a syntactic characterization of the property: every element of K is injective in ISP(K). We use this result to establish that A is injective in ISP(A) for every two-element algebra A | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesH. Andréka, I. Hodkinson & I. Németi (1999). Finite Algebras of Relations Are Representable on Finite Sets. Journal of Symbolic Logic 64 (1):243-267.
Marta A. Zander (2008). Decomposability of the Finitely Generated Free Hoop Residuation Algebra. Studia Logica 88 (2):233 - 246.
L. Peter Belluce, Revaz Grigolia & Ada Lettieri (2005). Representations of Monadic MV -Algebras. Studia Logica 81 (1):123 - 144.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Francis Oger (1984). The Model Theory of Finitely Generated Finite-by-Abelian Groups. Journal of Symbolic Logic 49 (4):1115-1124.
Holger Sturm (2000). Modal Horn Classes. Studia Logica 64 (3):301-313.
Herbert H. J. Riedel (1988). Existentially Closed Algebras and Boolean Products. Journal of Symbolic Logic 53 (2):571-596.
Katarzyna Pałasińska (2003). Finite Basis Theorem for Filter-Distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes. Studia Logica 74 (1-2):233 - 273.
Michael H. Albert (1987). A Preservation Theorem for EC-Structures with Applications. Journal of Symbolic Logic 52 (3):779-785.
Stanley Burris (1984). Model Companions for Finitely Generated Universal Horn Classes. Journal of Symbolic Logic 49 (1):68-74.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
