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)|
|Through your library||Configure|
Similar books and articles
Francesco 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #274,556 of 548,999 )
Recent downloads (6 months)1 ( #63,327 of 548,999 )
How can I increase my downloads?