On the standard part of nonstandard models of set theory

DOI10.2307/2273317zbMath0522.03060OpenAlexW2132467344MaRDI QIDQ3671984

Menachem Magidor, Jonathan Stavi, Saharon Shelah

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

zbMATH Keywords

tree propertyadmissible ordinaluncountable cofinalityKripke- Platek theorynonstandard model of ZFCordinals of uncountable cofinalitystandard part of a model

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Set theory (03E99) Logic on admissible sets (03C70) Nonstandard models (03H99)

Related Items (4)

On the consistency of the Definable Tree Property on ℵ₁ ⋮ A parallel to the null ideal for inaccessible \(\lambda\). I ⋮ Countably decomposable admissible sets ⋮ Isomorphism types of Aronszajn trees

Cites Work

• Some applications of model theory in set theory
• The fine structure of the constructible hierarchy

This page was built for publication: On the standard part of nonstandard models of set theory