Uniqueness, collection, and external collapse of cardinals in ist and models of peano arithmetic

Journal of Symbolic Logic 60 (1):318-324 (1995)

We prove that in IST, Nelson's internal set theory, the Uniqueness and Collection principles, hold for all (including external) formulas. A corollary of the Collection theorem shows that in IST there are no definable mappings of a set X onto a set Y of greater (not equal) cardinality unless both sets are finite and #(Y) ≤ n #(X) for some standard n. Proofs are based on a rather general technique which may be applied to other nonstandard structures. In particular we prove that in a nonstandard model of PA, Peano arithmetic, every hyperinteger uniquely definable by a formula of the PA language extended by the predicate of standardness, can be defined also by a pure PA formula
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275523
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
Through your library

References found in this work BETA

The Syntax of Nonstandard Analysis.Edward Nelson - 1988 - Annals of Pure and Applied Logic 38 (2):123-134.

Add more references

Citations of this work BETA

Neutrally Expandable Models of Arithmetic.Athar Abdul‐Quader & Roman Kossak - 2019 - Mathematical Logic Quarterly 65 (2):212-217.

Add more citations

Similar books and articles

Regularity in Models of Arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
A Model of Peano Arithmetic with No Elementary End Extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.


Added to PP index

Total views
33 ( #276,466 of 2,285,775 )

Recent downloads (6 months)
4 ( #321,795 of 2,285,775 )

How can I increase my downloads?


My notes

Sign in to use this feature