\(\text{PFA}(S)[S]\) for the masses
DOI10.1016/J.TOPOL.2017.09.033zbMath1380.54005arXiv1607.04370OpenAlexW2963167591MaRDI QIDQ1676513
Publication date: 9 November 2017
Published in: Topology and its Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.04370
Martin's axiomP-ideal dichotomyAxiom RMartin's maximum\(\text{PFA}(S)[S\)]forcing with a coherent Souslin treelocally compact normal
Sequential spaces (54D55) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Consistency and independence results (03E35) Large cardinals (03E55) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Continuum hypothesis and Martin's axiom (03E50) Consistency and independence results in general topology (54A35) Local compactness, (sigma)-compactness (54D45) Generic absoluteness and forcing axioms (03E57)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\mathrm{PFA}(S)[S\) and locally compact normal spaces]
- Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces
- Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness
- Covering the separation properties in the Easton model
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
- On the consistency of the Moore-Mrówka solution
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Locally nice spaces and Axiom \(R\)
- \(\mathrm{PFA}(S)[S\) and countably compact spaces]
- Katetov’s problem
- On the Hereditary Paracompactness of Locally Compact, Hereditarily Normal Spaces
- Between Martin's Axiom and Souslin's Hypothesis
- Locally compact perfectly normal spaces may all be paracompact
- PFA(S)[S: More Mutually Consistent Topological Consequences of PFA and V = L]
- Antidiamond principles and topological applications
- Left Separated Spaces With Point-Countable Bases
- On Countably Compact, Perfectly Normal Spaces
- An variation for one souslin tree
- Projective Stationary Sets and a Strong Reflection Principle
- Normality in X 2 for Compact X
- ωι-Sonslin trees under countable support iterations
- On iterating semiproper preorders
- Normality Versus Paracompactness in Locally Compact Spaces
This page was built for publication: \(\text{PFA}(S)[S]\) for the masses
