A remark on Martin's conjecture
Journal of Symbolic Logic 66 (1):401-406 (2001)
| Abstract | We prove that the strong Martin conjecture is false. The counterexample is the first-order theory of infinite atomic Boolean algebras. We show that for this class of Boolean algebras, the classification of their (ω + ω)-elementary theories can be reduced to the classification of the elementary theories of their quotient algebras modulo the Frechet ideals | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJ. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
W. J. Blok & W. Dziobiak (1986). On the Lattice of Quasivarieties of Sugihara Algebras. Studia Logica 45 (3):275 - 280.
Antoni Torrens (1987). W-Algebras Which Are Boolean Products of Members of SR[1] and CW-Algebras. Studia Logica 46 (3):265 - 274.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory. Journal of Symbolic Logic 67 (1):197-213.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Robert Goldblatt (2001). Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Studia Logica 68 (2):155-171.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Masanori Itai (1991). On the Strong Martin Conjecture. Journal of Symbolic Logic 56 (3):862-875.
D. E. Pal'chunov (1987). Countably-Categorical Boolean Algebras with Distinguished Ideals. Studia Logica 46 (2):121 - 135.
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
