On relatively analytic and Borel subsets

DOI10.2178/JSL/1107298524zbMATH Open1083.03045arXivmath/0305036OpenAlexW1970521282MaRDI QIDQ3370769FDOQ3370769

Authors: Arnold W. Miller 

Publication date: 8 February 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: Define z to be the smallest cardinality of a function f:X->Y with X and Y sets of reals such that there is no Borel function g extending 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 w^w. This answers a question raised by Zapletal. We also show that it is relatively consistent with ZFC that there exists a set of reals X 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.

Full work available at URL: https://arxiv.org/abs/math/0305036

Recommendations

• scientific article; zbMATH DE number 4011417
• Borel and analytic sets in Banach spaces
• scientific article; zbMATH DE number 1878046
• Borel canonization of analytic sets with Borel sections
• Generalized projections of Borel and analytic sets
• On the theorem of Borel for quasianalytic classes
• On Borel summability and analytic functionals
• Analytic Baire spaces
• Borel subsets of the real line and continuous reducibility
• Publication:4863331

zbMATH Keywords

analytic setiterated forcingforcing notionmodel of ZFCBorel order

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17) Continuum hypothesis and Martin's axiom (03E50)

Cites Work

• On the length of Borel hierarchies

Cited In (9)

• On the theorem of Borel for quasianalytic classes
• Generalized projections of Borel and analytic sets
• Borel canonization of analytic sets with Borel sections
• On two classes of sets containing all Baire sets and all co-analytic sets
• Forcing with quotients
• On the concept of analytic hardness
• Two simple sets that are not positively Borel
• Hurewicz-like tests for Borel subsets of the plane
• Approximation of analytic by Borel sets and definable countable chain conditions

This page was built for publication: On relatively analytic and Borel subsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3370769)