Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic (Q4836057)
From MaRDI portal
scientific article; zbMATH DE number 762319
Language | Label | Description | Also known as |
---|---|---|---|
English | Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic |
scientific article; zbMATH DE number 762319 |
Statements
Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic (English)
0 references
3 July 1995
0 references
Nelson's internal set theory
0 references
nonstandard structures
0 references
nonstandard model of PA
0 references
hyperinteger
0 references