Characterizing large cardinals through Neeman's pure side condition forcing (Q5146430)
From MaRDI portal
scientific article; zbMATH DE number 7301048
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterizing large cardinals through Neeman's pure side condition forcing |
scientific article; zbMATH DE number 7301048 |
Statements
Characterizing large cardinals through Neeman's pure side condition forcing (English)
0 references
25 January 2021
0 references
large cardinals
0 references
forcing
0 references
elementary embeddings
0 references
generalized tree properties
0 references
0 references