Rank-initial embeddings of non-standard models of set theory (Q781504)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rank-initial embeddings of non-standard models of set theory |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.733410656452179
0 references
0.7291131615638733
0 references
0.7236605882644653
0 references
0.7121827602386475
0 references
