Undecidable hypotheses in Edward Nelson's internal set theory

DOI10.1070/RM1991v046n06ABEH002870zbMath0782.03028OpenAlexW2061046213MaRDI QIDQ4005527

Kanovei, Vladimir

Publication date: 27 September 1992

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm1991v046n06abeh002870

zbMATH Keywords

collectionchoiceuniquenessextensionrestrictionreplacementseparationsaturationinternal set theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Nonstandard models (03H99)

Related Items (8)

European summer meeting of the Association for Symbolic Logic ⋮ Internal approach to external sets and universes. I: Bounded set theory ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Internal approach to external sets and universes. II: External universes over the universe of bounded set theory ⋮ IX Latin American Symposium on Mathematical Logic, Bahía Blanca, 1992 ⋮ Internal approach to external sets and universes. III. Partially saturated universes ⋮ Realism, nonstandard set theory, and large cardinals ⋮ Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry

This page was built for publication: Undecidable hypotheses in Edward Nelson's internal set theory