Access the full text.
Sign up today, get DeepDyve free for 14 days.
V. Fischer, S. Friedman (2010)
Cardinal characteristics and projective wellordersAnn. Pure Appl. Log., 161
A. Kanamori (1994)
The Higher Infinite
A.W. Miller (1984)
Special Subsets of the Real Line. Handbook of Set-Theoretic Topology
Gabriel Debs (1988)
Espaces héréditairement de BaireFundamenta Mathematicae, 129
Andrea Medini (2013)
Products and countable dense homogeneityarXiv: General Topology
K. Kunen, Andrea Medini, L. Zdomskyy (2013)
Seven characterizations of non-meager P-filtersarXiv: General Topology
A. Miller (1995)
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way, 4
A. Miller (1984)
Special Subsets of the Real Line
(2012)
Regularity Properties and Definability in the Real Number Continuum. ILLC Dissertation Series DS-2012-04
W. Marciszewski (1998)
P-filters and hereditary Baire function spacesTopology and its Applications, 89
W. Marciszewski (1997)
On hereditary Baire productsBulletin of The Polish Academy of Sciences Mathematics, 45
(2011)
Set theory. Studies in Logic (London), 34
S. Baldwin, Robert Beaudoin (1989)
Countable dense homogeneous spaces under Martin’s axiomIsrael Journal of Mathematics, 65
A. Miller (1984)
Rational perfect set forcing
J. Mill (2001)
The Infinite-Dimensional Topology of Function Spaces
J. Brendle, B. Löwe (1997)
Solovay-type characterizations for forcing-algebrasJournal of Symbolic Logic, 64
Benjamin Naumann (2016)
Classical Descriptive Set Theory
Jörg (2007)
Strolling through paradise
A-1090 Wien, Austria E-mail address: lyubomyr.zdomskyy@univie.ac
Główczyński (1990)
Special Subsets of the Real LineReal analysis exchange, 16
All spaces are assumed to be separable and metrizable. Consider the following properties of a space X. (1) X is Polish. (2) For every countable crowded $${Q \subseteq X}$$ Q ⊆ X there exists a crowded $${Q'\subseteq Q}$$ Q ′ ⊆ Q with compact closure. (3) Every closed subspace of X is either scattered or it contains a homeomorphic copy of $${2^\omega}$$ 2 ω . (4) Every closed subspace of X is a Baire space. While (4) is the well-known property of being completely Baire, properties (2) and (3) have been recently introduced by Kunen, Medini and Zdomskyy, who named them the Miller property and the Cantor-Bendixson property respectively. It turns out that the implications $${(1) \rightarrow (2) \rightarrow (3) \rightarrow (4)}$$ ( 1 ) → ( 2 ) → ( 3 ) → ( 4 ) hold for every space X. Furthermore, it follows from a classical result of Hurewicz that all these implications are equivalences if X is coanalytic. Under the axiom of Projective Determinacy, this equivalence result extends to all projective spaces. We will complete the picture by giving a $${\sf ZFC}$$ ZFC counterexample and a consistent definable counterexample of lowest possible complexity to the implication $${(i) \leftarrow (i + 1)}$$ ( i ) ← ( i + 1 ) for $${i = 1, 2, 3}$$ i = 1 , 2 , 3 . For one of these counterexamples we will need a classical theorem of Martin and Solovay, of which we give a new proof, based on a result of Baldwin and Beaudoin. Finally, using a method of Fischer and Friedman, we will investigate how changing the value of the continuum affects the definability of these counterexamples. Along the way, we will show that every uncountable completely Baire space has size continuum.
Archive for Mathematical Logic – Springer Journals
Published: Oct 30, 2014
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.