Rank-initial embeddings of non-standard models of set theory (Q781504)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rank-initial embeddings of non-standard models of set theory |
scientific article |
Statements
Rank-initial embeddings of non-standard models of set theory (English)
0 references
17 July 2020
0 references
KP
0 references
ZF
0 references
GBC
0 references
weak compactness
0 references
nonstandard model
0 references
embedding
0 references
self-embedding
0 references
automorphism
0 references
fixed point
0 references
strong cut
0 references
iterated ultrapower
0 references
recursively saturated model
0 references
