Journal of Symbolic Logic 70 (1):346 - 352 (2005)
Abstract |
Define z to be the smallest cardinality of a function f: X → Y with X. Y ⊆ 2ω such that there is no Borel function g ⊇ f. In this paper we prove that it is relatively consistent with ZFC to have b < z where b is, as usual, smallest cardinality of an unbounded family in ωω. This answers a question raised by Zapletal. We also show that it is relatively consistent with ZFC that there exists X ⊆ 2ω such that the Borel order of X is bounded but there exists a relatively analytic subset of X which is not relatively coanalytic. This answers a question of Mauldin
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2178/jsl/1107298524 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
On the Length of Borel Hierarchies.Arnorld W. Miller - 1979 - Annals of Mathematical Logic 16 (3):233.
Citations of this work BETA
Forcing with Quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
Similar books and articles
Cofinal Families of Borel Equivalence Relations and Quasiorders.Christian Rosendal - 2005 - Journal of Symbolic Logic 70 (4):1325-1340.
Continuum-Many Boolean Algebras of the Form $\mathcal{P}(\omega)/\mathcal{I}, \mathcal{I}$ Borel.Michael Ray Oliver - 2004 - Journal of Symbolic Logic 69 (3):799 - 816.
On the Quasi-Ordering of Borel Linear Orders Under Embeddability.Alain Louveau & Jean Saint-Raymond - 1990 - Journal of Symbolic Logic 55 (2):537-560.
On Ideals of Subsets of the Plane and on Cohen Reals.Jacek Cichoń & Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (3):560-569.
Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank.J. Duparc - 2001 - Journal of Symbolic Logic 66 (1):56-86.
Monotone Reducibility and the Family of Infinite Sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Ideals Without CCC.Marek Balcerzak, Andrzej RosŁanowski & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (1):128-148.
Infinite Time Decidable Equivalence Relation Theory.Samuel Coskey & Joel David Hamkins - 2011 - Notre Dame Journal of Formal Logic 52 (2):203-228.
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.
Louveau's Theorem for the Descriptive Set Theory of Internal Sets.Kenneth Schilling & Boško Živaljević - 1997 - Journal of Symbolic Logic 62 (2):595-607.
U-Lusin Sets in Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):528-533.
Set Theoretic Properties of Loeb Measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Analytics
Added to PP index
2010-08-24
Total views
16 ( #668,644 of 2,519,272 )
Recent downloads (6 months)
12 ( #62,224 of 2,519,272 )
2010-08-24
Total views
16 ( #668,644 of 2,519,272 )
Recent downloads (6 months)
12 ( #62,224 of 2,519,272 )
How can I increase my downloads?
Downloads