Persistence and atomic generation for varieties of Boolean algebras with operators
Studia Logica 68 (2):155-171 (2001)
| Abstract | A variety V of Boolean algebras with operators is singleton-persistent if it contains a complex algebra whenever it contains the subalgebra generated by the singletons. V is atom-canonical if it contains the complex algebra of the atom structure of any of the atomic members of V.This paper explores relationships between these "persistence" properties and questions of whether V is generated by its complex algebras or its atomic members, or is closed under canonical embedding algebras or completions. It also develops a general theory of when operations involving complex algebras lead to the construction of elementary classes of relational structures. | |||||||||
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrancesco Paoli, Matthew Spinks & Robert Veroff (forthcoming). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis.
Roberto Cignoli & Antoni Torrens Torrell (2006). Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(X2) = (2x). Studia Logica 83 (1-3):157 - 181.
B. A. Davey & H. A. Priestley (2012). Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-Based Algebras. Studia Logica 100 (1-2):137-161.
Nguyen Cat Ho & Helena Rasiowa (1989). Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability. Studia Logica 48 (4):509 - 530.
Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Robert Goldblatt (1985). An Algebraic Study of Well-Foundedness. Studia Logica 44 (4):423 - 437.
Maarten de Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1).
Maarten De Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1):61 - 78.
Yde Venema (2003). Atomless Varieties. Journal of Symbolic Logic 68 (2):607-614.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,999 )Recent downloads (6 months)1 ( #63,327 of 548,999 )How can I increase my downloads? |
My notes
Discussion
