Removing Laver functions from supercompactness arguments (Q4666945)
From MaRDI portal
scientific article; zbMATH DE number 2153741
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Removing Laver functions from supercompactness arguments |
scientific article; zbMATH DE number 2153741 |
Statements
Removing Laver functions from supercompactness arguments (English)
0 references
7 April 2005
0 references
Supercompact cardinal
0 references
proper forcing axiom
0 references
semiproper forcing axiom
0 references
lottery sum
0 references
strong cardinal
0 references
