Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic

DOI10.2307/2275523zbMath0820.03034OpenAlexW2025087274MaRDI QIDQ4836057

Kanovei, Vladimir

Publication date: 3 July 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275523

zbMATH Keywords

Nelson's internal set theorynonstandard structureshyperintegernonstandard model of PA

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15) Nonstandard models (03H99)

Related Items (5)

Internal approach to external sets and universes. I: Bounded set theory ⋮ Internal approach to external sets and universes. II: External universes over the universe of bounded set theory ⋮ Internal approach to external sets and universes. III. Partially saturated universes ⋮ CP‐generic expansions of models of Peano Arithmetic ⋮ Neutrally expandable models of arithmetic

Cites Work

• Unnamed Item
• The syntax of nonstandard analysis
• Descriptive set theory over hyperfinite sets
• Internal set theory: A new approach to nonstandard analysis
• The special model axiom in nonstandard analysis

This page was built for publication: Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic