PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\) (Q1632738)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\) |
scientific article |
Statements
PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\) (English)
0 references
17 December 2018
0 references
It is shown that under both Todorcevic's forcing axiom \textsf{PFA(S)}, and \textsf{PFA(S)[S]}, its forcing extension by the Souslin tree \(S\), the only automorphisms of the quotient Boolean algebra \(\mathcal P(\mathbb N)/\text{fin}\) are trivial, i.e. induced by one-to-one functions \(\mathbb N\to\mathbb N\).
0 references
forcing with Souslin tree
0 references
PFA
0 references
automorphisms
0 references
0 references
0 references
