PFA(S)[S] for the masses
\(\text{PFA}(S)[S\)]Axiom Rforcing with a coherent Souslin treelocally compact normalMartin's axiomMartin's maximumP-ideal dichotomy
Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57) Consistency and independence results in general topology (54A35) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Local compactness, (sigma)-compactness (54D45) Sequential spaces (54D55)
\(\text{PFA}(S)[S]\) is a method to produce models of set theory, invented by Todorčević in 2001. The models are obtained starting with a particular kind of Souslin tree \(S\), iterating partial orders that do not destroy \(S\) and then forcing with \(S\). More precisely, \(\text{PFA}(S)\) is the forcing axiom which restricts \(\text{PFA}\) to the class of posets that are proper and preserve the Souslinity of a fixed coherent Souslin tree \(S\), and \(\text{PFA}(S)[S]\) refers to forcing over a model of \(\text{PFA}(S)\) with \(S\). Models of \(\text{PFA}(S)[S]\) are usually obtained using a supercompact cardinal. The author argues that: ``\dots so just as Martin's Axiom is accessible to those who do not understand iterated forcing, it would be nice to be able to apply this method without the difficult forcing. Even assuming that, at the present moment, there is no single axiom which will be able to accomplish such task, the author presents a list of the more important consequences of the method so far (together with consequences of related methods such as \(\text{MA}_{\omega_1}(S)[S]\) and \(\text{MM}(S)[S]\)), so that they may be further applied. In Section 4, indeed, a list including a large number of statements is given, such as \(\mathbf{CW}\) (First countable normal spaces are collectionwise Hausdorff), \(\mathbf{HL}\) (First countable hereditarily Lindelöf spaces are hereditarily separable), \(\mathbf{PPI}\) (Every first countable perfect pre-image of \(\omega_1\) includes a copy of \(\omega_1\)), \(\mathbf{SAT}\) (Every Aronszajn tree is special), \(\mathbf{OCA}\) (The Open Coloring Axiom), among many others. However, the author advises researchers to employ suitable caution regarding the declared relations between such statements, since many proofs are not yet available in print or even in preprint form.
- PFA and \(\omega\) \(*_ 1\)
- PFA\((S)[S]\): more mutually consistent topological consequences of \(PFA\) and \(V=L\)
- Forcing consequences of PFA together with the continuum large
- PFA(S)[S] and the Arhangel'skii-Tall problem
- Pfaff-Saalschütz revisited
- Pfaff-Saalschütz revisited
- PFA and precipitousness of the nonstationary ideal
- PSF -- a retrospective
- Massive \(p\)-forms: first-class approaches
- \(\mathrm{PFA}(S)[S]\) and countably compact spaces
- \(\mathrm{PFA}(S)[S]\) and locally compact normal spaces
- An variation for one souslin tree
- Antidiamond principles and topological applications
- Between Martin's Axiom and Souslin's Hypothesis
- Covering the separation properties in the Easton model
- Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness
- Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces
- scientific article; zbMATH DE number 3846437 (Why is no real title available?)
- scientific article; zbMATH DE number 3810456 (Why is no real title available?)
- Katětov's problem
- Left Separated Spaces With Point-Countable Bases
- Locally compact perfectly normal spaces may all be paracompact
- Locally nice spaces and Axiom \(R\)
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Normality in X 2 for Compact X
- Normality versus paracompactness in locally compact spaces
- On Countably Compact, Perfectly Normal Spaces
- On iterating semiproper preorders
- On the consistency of the Moore-Mrówka solution
- On the hereditary paracompactness of locally compact, hereditarily normal spaces
- PFA\((S)[S]\): more mutually consistent topological consequences of \(PFA\) and \(V=L\)
- Projective Stationary Sets and a Strong Reflection Principle
- Set-theoretic update on topology
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
- ωι-Sonslin trees under countable support iterations
- \(\mathrm{PFA}(S)[S]\) and countably compact spaces
- PFA\((S)[S]\): more mutually consistent topological consequences of \(PFA\) and \(V=L\)
- Preservation of Suslin trees and side conditions
- Morasses and finite support iterations
- scientific article; zbMATH DE number 1126837 (Why is no real title available?)
- PFA(S)[S] and the Arhangel'skii-Tall problem
- On the complexity of classes of uncountable structures: trees on $\aleph _1$
- Forcing consequences of PFA together with the continuum large
This page was built for publication: \(\text{PFA}(S)[S]\) for the masses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1676513)
