Mathematical Logic Quarterly 41 (4):485-504 (1995)
Abstract |
We consider the theory Thprin of Boolean algebras with a principal ideal, the theory Thmax of Boolean algebras with a maximal ideal, the theory Thac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Thsa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Thprin and Thsa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg be the Lindenbaum-Tarski algebra with respect to T, and we let intalg be the interval algebra of α. Using rank diagrams, we show that Sentalg ⋍ intalg, Sentalg ⋍ intalg ⋍ Sentalg, and Sentalg ⋍ intalg. For Thmax and Thac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic
|
Keywords | Lindenbaum‐Tarski algebras Rank diagram Boolean algebra Elementary invariants Ideals in Boolean algebras Completion of Boolean algebras |
Categories | (categorize this paper) |
DOI | 10.1002/malq.19950410406 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Citations of this work BETA
No citations found.
Similar books and articles
Boolean Deductive Systems of BL-Algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Hyper-Archimedean BL-Algebras Are MV-Algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Boolean Algebras, Tarski Invariants, and Index Sets.Barbara F. Csima, Antonio Montalbán & Richard A. Shore - 2006 - Notre Dame Journal of Formal Logic 47 (1):1-23.
Countably-Categorical Boolean Algebras with Distinguished Ideals.D. E. Pal'chunov - 1987 - Studia Logica 46 (2):121 - 135.
Some Boolean Algebras with Finitely Many Distinguished Ideals II.Regina Aragón - 2003 - Mathematical Logic Quarterly 49 (3):260.
More Constructions for Boolean Algebras.Saharon Shelah - 2002 - Archive for Mathematical Logic 41 (5):401-441.
The Theory of Boolean Algebras with an Additional Binary Operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Partial Boolean Algebras in a Broader Sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(X²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
The Number of Openly Generated Boolean Algebras.Stefan Geschke & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (1):151-164.
Averaging the Truth-Value in Łukasiewicz Logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Boolean Skeletons of MV-Algebras and ℓ-Groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Analytics
Added to PP index
2014-01-16
Total views
11 ( #855,809 of 2,519,317 )
Recent downloads (6 months)
1 ( #407,861 of 2,519,317 )
2014-01-16
Total views
11 ( #855,809 of 2,519,317 )
Recent downloads (6 months)
1 ( #407,861 of 2,519,317 )
How can I increase my downloads?
Downloads