### Continuum-many Boolean algebras of the form 𝒫(ω )/ℐ, ℐ Borel

Michael Ray Oliver
Source: J. Symbolic Logic Volume 69, Issue 3 (2004), 799-816.

#### Abstract

We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum 20; earlier work by Ilijas Farah had shown that this was the value in models of Martin’s Maximum or some similar forcing axiom, but it was open whether there could be fewer in models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients.

First Page:
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1096901768
Digital Object Identifier: doi:10.2178/jsl/1096901768
Mathematical Reviews number (MathSciNet): MR2078923
Zentralblatt MATH identifier: 1070.03030

### References

C. C. Chang and H. Jerome Keisler Model theory, third ed., North-Holland,1990.
Mathematical Reviews (MathSciNet): MR1059055
Zentralblatt MATH: 0697.03022
Ilijas Farah Analytic quotients: Theory of liftings for quotients over analytic ideals on the integers, Memoirs of the AMS, vol. 148 (2000), no. 702.
Mathematical Reviews (MathSciNet): MR1711328
Winfried Just and Adam Krawczyk On certain Boolean algebras $\mathscrP\omega/I$, Transactions of the American Mathematical Society, vol. 285 (1984), no. 1, pp. 411--429.
Mathematical Reviews (MathSciNet): MR748847
Winfried Just and Žarko Mijajlović Separation properties of ideals over $\omega$, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 33 (1987), no. 3, pp. 267--276.
Mathematical Reviews (MathSciNet): MR894026
Alexander S. Kechris Classical descriptive set theory, Springer--Verlag,1995.
Mathematical Reviews (MathSciNet): MR1321597
Zentralblatt MATH: 0819.04002
Alain Louveau and Boban Veličkovič A note on Borel equivalence relations, Proceedings of the American Mathematical Society, vol. 120 (1994), no. 1, pp. 255--259.
Mathematical Reviews (MathSciNet): MR1169042
Yiannis Moschovakis Descriptive set theory, North--Holland,1980.
Mathematical Reviews (MathSciNet): MR561709
Zentralblatt MATH: 0433.03025
Michael Ray Oliver An inquiry into the number of isomorphism classes of Boolean algebras and the Borel cardinality of certain Borel equivalence relations, Ph.D. thesis, UCLA, April 2003.
Sławomir Solecki Analytic ideals and their applications, Annals of Pure and Applied Logic, vol. 99 (1999), no. 1--3, pp. 51--72.
Mathematical Reviews (MathSciNet): MR1708146
Zentralblatt MATH: 0932.03060
Digital Object Identifier: doi:10.1016/S0168-0072(98)00051-7
Juris Steprāns Many quotient algebras of the integers modulo co-analytic ideals, preprint, York University, 2003.
Mathematical Reviews (MathSciNet): MR2167583
Jacques Stern Évaluation du rang de Borel de certains ensembles, Comptes Rendus Hebdomaires des Séances de l'Académie des Sciences, vol. 286 (1978), no. 20, pp. A855--857, Série A--B.
Mathematical Reviews (MathSciNet): MR498855
Samy Zafrany Borel ideals vs. Borel sets of countable relations and trees, Annals of Pure and Applied Logic, vol. 43 (1989), no. 2, pp. 161--195.
Mathematical Reviews (MathSciNet): MR1004056
Digital Object Identifier: doi:10.1016/0168-0072(80)90003-2
Zentralblatt MATH: 0673.04001