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

coanalytic setconstructibilityHamel basistransfinite inductiontwo-point set

Mathematics Subject Classification ID

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

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
• scientific article; zbMATH DE number 1420843
• Cofinal Families of Compact Subsets of an Analytic Set

Cited in

(12)

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

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)