Co-critical points of elementary embeddings (Q4726242)
From MaRDI portal
scientific article; zbMATH DE number 3999910
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Co-critical points of elementary embeddings |
scientific article; zbMATH DE number 3999910 |
Statements
Co-critical points of elementary embeddings (English)
0 references
1985
0 references
elementary embedding
0 references
inner models of ZFC
0 references
critical point
0 references
co-critical point
0 references
precipitous ideal
0 references
backward Easton forcing
0 references
0 sharp
0 references
Magidor's iteration of Prikry forcing
0 references
