Long Borel hierarchies
β Scribed by Arnold W. Miller
- Publisher
- John Wiley and Sons
- Year
- 2008
- Tongue
- English
- Weight
- 211 KB
- Volume
- 54
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
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. (Β© 2008 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)
π SIMILAR VOLUMES
## Abstract We consider morphisms (also called GaloisβTukey connections) between binary relations that are used in the theory of cardinal characteristics. In [8] we have shown that there are pairs of relations with no Borel morphism connecting them. The reason was a strong impact of the first of th
We study in this paper graph coloring problems in the context of descriptive set theory. We consider graphs G=(X, R), where the vertex set X is a standard Borel space (i.e., a complete separable metrizable space equipped with its \_-algebra of Borel sets), and the edge relation R X 2 is ``definable'