On relatively analytic and Borel subsets

DOI10.2178/JSL/1107298524MaRDI QIDQ3370769zbMATH OpenOpenAlexFDO

Authors Arnold W. Miller

Publication date 8 February 2006

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

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

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)

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.

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

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
• Approximation of analytic by Borel sets and definable countable chain conditions
• Hurewicz-like tests for Borel subsets of the plane

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)