Mathematical Logic Quarterly 54 (3):307-322 (2008)
Abstract |
We show that there is a model of ZF in which the Borel hierarchy on the reals has length ω2. This implies that ω1 has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument produces models of ZF in which the Borel hierarchy has exactly λ + 1 levels for any given limit ordinal λ less than ω2. We also show that assuming a large cardinal hypothesis there are models of ZF in which the Borel hierarchy is arbitrarily long
|
Keywords | Axiom of choice Borel hierarchies countable unions |
Categories | (categorize this paper) |
DOI | 10.1002/malq.200710044 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom).Ernst Specker - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13‐20):173-210.
Zur Axiomatik der Mengenlehre.Ernst Specker - 1957 - Mathematical Logic Quarterly 3 (13-20):173-210.
Successive Weakly Compact or Singular Cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.
View all 7 references / Add more references
Citations of this work BETA
Similar books and articles
The Fine Structure of the Intuitionistic Borel Hierarchy.Wim Veldman - 2009 - Review of Symbolic Logic 2 (1):30-101.
Borel Equivalence Relations Which Are Highly Unfree.Greg Hjorth - 2008 - Journal of Symbolic Logic 73 (4):1271-1277.
Borel Structures and Borel Theories.Greg Hjorth & André Nies - 2011 - Journal of Symbolic Logic 76 (2):461 - 476.
The Borel Hierarchy Theorem From Brouwer's Intuitionistic Perspective.Wim Veldman - 2008 - Journal of Symbolic Logic 73 (1):1-64.
Σ-Homogeneity of Borel Sets.Alexey Ostrovsky - 2011 - Archive for Mathematical Logic 50 (5-6):661-664.
Disasters in Topology Without the Axiom of Choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank.J. Duparc - 2001 - Journal of Symbolic Logic 66 (1):56-86.
Bi-Borel Reducibility of Essentially Countable Borel Equivalence Relations.Greg Hjorth - 2005 - Journal of Symbolic Logic 70 (3):979 - 992.
The Relation of Recursive Isomorphism for Countable Structures.Riccardo Camerlo - 2002 - Journal of Symbolic Logic 67 (2):879-895.
Borel Ideals Vs. Borel Sets of Countable Relations and Trees.Samy Zafrany - 1989 - Annals of Pure and Applied Logic 43 (2):161-195.
Continuous Versus Borel Reductions.Simon Thomas - 2009 - Archive for Mathematical Logic 48 (8):761-770.
A Complicated Ω-Stable Depth 2 Theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.
A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory.Joël Combase - 2011 - Notre Dame Journal of Formal Logic 52 (4):415-429.
Analytics
Added to PP index
2013-12-01
Total views
4 ( #1,278,214 of 2,506,503 )
Recent downloads (6 months)
2 ( #277,244 of 2,506,503 )
2013-12-01
Total views
4 ( #1,278,214 of 2,506,503 )
Recent downloads (6 months)
2 ( #277,244 of 2,506,503 )
How can I increase my downloads?
Downloads