Morasses, square and forcing axioms (Q1923568)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Morasses, square and forcing axioms |
scientific article |
Statements
Morasses, square and forcing axioms (English)
0 references
24 August 1997
0 references
The paper discusses various relationships between morasses, square and forcing axioms. Under \(V=L\) there is a \((\kappa,1)\)-simplified morass with small limits if and only if there is a \((\kappa,1)\)-simplified morass with simple limits. Moreover \((\kappa,1)\)-simplified morasses with simple paths correspond to \(\kappa\)-closed forcing axioms, with small limits corresponding to \(\kappa\)-thin-directed closed forcing axioms and with continuous paths corresponding to strongly strategic forcing axioms.
0 references
morasses
0 references
square
0 references
forcing axioms
0 references
Todorcevic function
0 references
0 references
0 references