Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree (Q2013394)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree |
scientific article; zbMATH DE number 6761614
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree |
scientific article; zbMATH DE number 6761614 |
Statements
Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree (English)
0 references
17 August 2017
0 references
coherent Suslin tree
0 references
\(\mathsf{PFA}(S)\)
0 references
Aronszajn tree
0 references
club-isomorphism
0 references