Transfinite inductions producing coanalytic sets

DOI10.4064/FM224-2-2MaRDI QIDQ5401330zbMATH OpenOpenAlexFDO

Authors Zoltán Vidnyánszky

Publication date 12 March 2014

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

Hamel basistransfinite inductioncoanalytic setconstructibilitytwo-point set

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: A. Miller proved the consistent existence of a coanalytic two-point set, Hamel basis and MAD family. In these cases the classical transfinite induction can be modified to produce a coanalytic set. We generalize his result formulating a condition which can be easily applied in such situations. We reprove the classical results and as a new application we show that in $V=L$ there exists an uncountable coanalytic subset of the plane that intersects every $C^1$ curve in a countable set.

Recommendations

• A co-analytic maximal set of orthogonal measures
• On the limit superior of analytic sets
• Co-analytic mad families and definable wellorders
• Publication:4944911
• Cofinal Families of Compact Subsets of an Analytic Set

Cited in

(11)

• Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets
• Definable MAD families and forcing axioms
• Games characterizing limsup functions and Baire class \(1\) functions
• A Borel maximal eventually different family
• Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
• Coanalytic ultrafilter bases
• Set theory and the analyst
• Definable towers
• Zero-dimensional \(\sigma \)-homogeneous spaces
• TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS
• On the scope of the Effros theorem

This page was built for publication: Transfinite inductions producing coanalytic sets

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