Q5439452 (Q5439452): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 22:16, 5 March 2024
scientific article; zbMATH DE number 5233908
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5233908 |
Statements
11 February 2008
0 references
inner model
0 references
outer model
0 references
iterated forcing
0 references
superstrong cardinal
0 references
Woodin cardinal
0 references
gap 1 morass
0 references
survey
0 references