On precipitousness of the nonstationary ideal over a supercompact (Q3030822)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On precipitousness of the nonstationary ideal over a supercompact |
scientific article |
Statements
On precipitousness of the nonstationary ideal over a supercompact (English)
0 references
1986
0 references
iteration of distributive forcing notions
0 references
core models
0 references
precipitous ideals
0 references
existence of a supercompact cardinal
0 references
consistency of the nonstationary ideal precipitous over a supercompact
0 references
generic extension
0 references
inner model with a repeat point
0 references