Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-25T19:28:42.815Z Has data issue: false hasContentIssue false
  • English
  • Français

Continuum-many Boolean algebras of the form Borel

Published online by Cambridge University Press:  12 March 2014

Michael Ray Oliver
Michael Ray Oliver*
Affiliation:
Department of Mathematics, University of North Texas, P.O. Box 311430, Denton, TX 76203-1430, USA, E-mail: moliver@unt.edu(through Spring 2005), E-mail: oliver@cs.ucla.edu(permanent), URL: http://www.math.unt.edu/˜moliver
Get access Rights & Permissions [Opens in a new window]

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 ; 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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 69 , Issue 3 , September 2004 , pp. 799 - 816
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[CK90]Chang, C. C. and Keisler, H. Jerome, Model theory, third ed., North-Holland, 1990.Google Scholar
[Far00a]Farah, Ilijas, Analytic quotients: Theory of liftings for quotients over analytic ideals on the integers, Memoirs of the AMS, vol. 148 (2000), no. 702.CrossRefGoogle Scholar
[Far00b]Farah, Ilijas, Rigidity conjectures, Proceedings of Logic Colloquium 2000, 2000.Google Scholar
[Far02]Farah, Ilijas, How many Boolean algebras P(ℕ)/I are there?, Illinois Journal of Mathematics, vol. 46 (2002), no. 4, pp. 999–1033.CrossRefGoogle Scholar
[JK84]Just, Winfried and Krawczyk, Adam, On certain Boolean algebras Pω/I, Transactions of the American Mathematical Society, vol. 285 (1984), no. 1, pp. 411–429.Google Scholar
[JM87]Just, Winfried and Mijajlović, Žarko, Separation properties of ideals over ω, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 33 (1987), no. 3, pp. 267–276.CrossRefGoogle Scholar
[Kec95]Kechris, Alexander S., Classical descriptive set theory, Springer-Verlag, 1995.CrossRefGoogle Scholar
[LV94]Louveau, Alain and Veličkovič, Boban, A note on Borel equivalence relations, Proceedings of the American Mathematical Society, vol. 120 (1994), no. 1, pp. 255–259.CrossRefGoogle Scholar
[Mos80]Moschovakis, Yiannis, Descriptive set theory, North-Holland, 1980.Google Scholar
[Oli03]Oliver, Michael Ray, An inquiry into the number of isomorphism classes of Boolean algebras and the Borel cardinality of certain Borel equivalence relations, Ph.D. thesis, UCLA, 04 2003.Google Scholar
[Sol99]Solecki, Slawomir, Analytic ideals and their applications, Annals of Pure and Applied Logic, vol. 99 (1999), no. 1–3, pp. 51–72.CrossRefGoogle Scholar
[Step03]Steprāns, Juris, Many quotient algebras of the integers modulo co-analytic ideals, preprint, York University, 2003.Google Scholar
[Ster78]Stern, Jacques, É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.Google Scholar
[Zaf89]Zafrany, Samy, Borel ideals vs. Borel sets of countable relations and trees, Annals of Pure and Applied Logic, vol. 43 (1989), no. 2, pp. 161–195.CrossRefGoogle Scholar