Archive for Mathematical Logic 54 (1-2):231-245 (2015)

All spaces are assumed to be separable and metrizable. Consider the following properties of a space X. X is Polish.For every countable crowded Q⊆X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q \subseteq X}$$\end{document} there exists a crowded Q′⊆Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q'\subseteq Q}$$\end{document} with compact closure.Every closed subspace of X is either scattered or it contains a homeomorphic copy of 2ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^\omega}$$\end{document}.Every closed subspace of X is a Baire space. While is the well-known property of being completely Baire, properties and 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 →→→\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ \rightarrow \rightarrow \rightarrow }$$\end{document} 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 ZFC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf ZFC}$$\end{document} counterexample and a consistent definable counterexample of lowest possible complexity to the implication ←\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ \leftarrow }$$\end{document} for i=1,2,3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${i = 1, 2, 3}$$\end{document}. 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s00153-014-0409-4
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,077
Through your library

References found in this work BETA

Cardinal Characteristics and Projective Wellorders.Vera Fischer & Sy David Friedman - 2010 - Annals of Pure and Applied Logic 161 (7):916-922.
Solovay-Type Characterizations for Forcing-Algebras.Jörg Brendle & Benedikt Löwe - 1999 - Journal of Symbolic Logic 64 (3):1307-1323.
[Omnibus Review].Gabriel Debs - 2001 - Bulletin of Symbolic Logic 7 (3):385-388.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.

Add more references

Citations of this work BETA

Two Applications of Topology to Model Theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - forthcoming - Annals of Pure and Applied Logic:102907.

Add more citations

Similar books and articles

Polish Group Actions, Nice Topologies, and Admissible Sets.Barbara Majcher-Iwanow - 2008 - Mathematical Logic Quarterly 54 (6):597-616.
Decomposing Baire Functions.J. Cichoń, M. Morayne, J. Pawlikowski & S. Solecki - 1991 - Journal of Symbolic Logic 56 (4):1273 - 1283.
Codings of Separable Compact Subsets of the First Baire Class.Pandelis Dodos - 2006 - Annals of Pure and Applied Logic 142 (1):425-441.
On Completely Nonmeasurable Unions.Szymon Żeberski - 2007 - Mathematical Logic Quarterly 53 (1):38-42.
Quasi-Polish Spaces.Matthew de Brecht - 2013 - Annals of Pure and Applied Logic 164 (3):356-381.
Measurable Chromatic Numbers.Benjamin D. Miller - 2008 - Journal of Symbolic Logic 73 (4):1139-1157.
Extending Baire Property by Uncountably Many Sets.Paweł Kawa & Janusz Pawlikowski - 2010 - Journal of Symbolic Logic 75 (3):896-904.
Some Weak Forms of the Baire Category Theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
A Quasi-Order on Continuous Functions.Raphaël Carroy - 2013 - Journal of Symbolic Logic 78 (2):633-648.


Added to PP index

Total views
5 ( #1,138,244 of 2,411,494 )

Recent downloads (6 months)
1 ( #538,999 of 2,411,494 )

How can I increase my downloads?


My notes