Distinguishing perfect set properties in separable metrizable spaces

DOI10.1017/JSL.2014.61zbMATH Open1372.03093arXiv1405.0191OpenAlexW2964151997MaRDI QIDQ2805029FDOQ2805029

Andrea Medini

Publication date: 9 May 2016

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

Abstract: All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set property" is equivalent to $mathfrakb>omeg{a}_1$ (hence, in particular, it is independent of $mathsfZFC$). This, together with a theorem of Solecki and an example of Miller, will allow us to determine the status of the statement "For every space $X$, if every $mathbfGamma$ subset of $X$ has the perfect set property then every $mathbf{G}^{\prime }amma$ subset of $X$ has the perfect set property" as $mathbfGamma,mathbf{G}^{\prime }amma$ range over all pointclasses of complexity at most analytic or coanalytic. Along the way, we define and investigate a property of independent interest. We will say that a subset $W$ of $2^{o}mega$ has the Grinzing property if it is uncountable and for every uncountable $YsubseteqW$ there exists an uncountable collection consisting of uncountable subsets of $Y$ with pairwise disjoint closures in $2^{o}mega$. The following theorems hold. (1) There exists a subset of $2^{o}mega$ with the Grinzing property. (2) Assume $mathsfMA+egmathsfCH$. Then $2^{o}mega$ has the Grinzing property. (3) Assume $mathsfCH$. Then $2^{o}mega$ does not have the Grinzing property. The first result was obtained by Miller using a theorem of Todorv{c}evi'c, and is needed in the proof of our main result.

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

Recommendations

• Between Polish and completely Baire
• Hurewicz sets of reals without perfect subsets
• Borel Sets in Metric Spaces With Small Separable Subsets
• Perfect set properties in models of ZF
• Problem of the existence of nonborel \(AF_{\|}\)-sets

zbMATH Keywords

analytic setperfect set propertyseparable metrizable spacesGrinzing property

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Descriptive set theory (03E15) Consistency and independence results (03E35)

Cites Work

• Title not available (Why is that?)
• The topology of ultrafilters as subspaces of \(2^{\omega }\)
• \(\gamma\)-sets and other singular sets of real numbers
• On the length of Borel hierarchies
• Projective subsets of separable metric spaces

Cited In (3)

• Title not available (Why is that?)
• Characterizations of Some Classes of Perfect Spaces in Terms of Continuous Selections Avoiding Supporting Sets
• Title not available (Why is that?)

This page was built for publication: Distinguishing perfect set properties in separable metrizable spaces

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