On the standard part of nonstandard models of set theory
From MaRDI portal
Publication:3671984
DOI10.2307/2273317zbMath0522.03060MaRDI QIDQ3671984
Saharon Shelah, Menachem Magidor, Jonathan Stavi
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273317
tree property; admissible ordinal; uncountable cofinality; Kripke- Platek theory; nonstandard model of ZFC; ordinals of uncountable cofinality; standard part of a model
03C62: Models of arithmetic and set theory
03E99: Set theory
03C70: Logic on admissible sets
03H99: Nonstandard models