Topological basis problem under determinacy
Descriptive set theory (03E15) Consistency and independence results (03E35) Determinacy principles (03E60) Applications of set theory (03E75) Consistency and independence results in general topology (54A35) Subspaces in general topology (54B05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)
The general Topological Basis Problem asks for a class \(\mathcal{T}\) of topological spaces whether there is a small set \(T\) of members of \(\mathcal{T}\) such that every \(X\in\mathcal{T}\) has a subspace that belongs to \(T\).\N\NAfter a short survey of previous results the authors show that under the assumption of \(\mathsf{AD}^+\) and \(V=L(\mathcal{P}(\mathbb{R}))\) every uncountable regular space contains (at least) a copy of one of the following four spaces: the discrete space of cardinality \(\aleph_1\) or the Cantor set with its normal topology, the Sorgenfrey topology, or the discrete topology. The first step uses the full assumption to reduce the general case to topologies on \(\mathbb{R}\) or \(\omega_1\). Then \(\mathsf{AD}+\mathsf{DC}_\mathbb{R}\) suffices to show that every regular topology on \(\mathbb{R}\) contains a copy of the Cantor set with one of the three topologies mentioned above, and that every Hausdorff space of cardinality \(\aleph_1\) has a discrete subspace of cardinality \(\aleph_1\).\N\NThe paper ends with similar results to those above for Borel-generated topologies on \(\mathbb{R}\) and asks whether these results hold, in \(\mathsf{ZFC}\), for (co-)analytically-generated topologies.
- \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis
- A dichotomy for the definable universe
- A Lindelöf group with non-Lindelöf square
- A solution to the L space problem
- A trichotomy theorem in natural models of \(\text{AD}^+\)
- An introduction to combinatorics of determinacy
- Analysis of a topological basis problem
- Cosmicity of Cometrizable Spaces
- Definable Automorphisms of P(ω)/fin
- Forcing Positive Partition Relations
- Handbook of Set Theory
- scientific article; zbMATH DE number 3725262 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- PFA implies ADL(ℝ)
- Quelques propriétés topologiques du produit combinatoire
- Set Theory
- SOME CONSEQUENCES OF AND
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
This page was built for publication: Topological basis problem under determinacy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6880485)
