No label defined (Q3126279)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
24 March 1997
0 references
Chang conjecture
0 references
core model for one strong cardinal
0 references
inner model
0 references
extenders
0 references
internal soundness
0 references
rigid
0 references
weak covering lemma
0 references
countably complete core model
0 references
lower bounds of the consistency strength
0 references
