Hostname: page-component-7c8c6479df-nwzlb Total loading time: 0 Render date: 2024-03-28T16:12:38.094Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  12 March 2014

V. Kanovei*
Affiliation:
Moscow Transport Engineering Institute, Moscow State University, E-mail: kanovei@sci.math.msu.suand, kanovei@math.uni-wuppertal.de

Abstract

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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Diener, F. and Reeb, G., Analyse non standard, (Herrmann, , editor), 1989.Google Scholar
[2]Kanovei, V. G., Undecidable hypotheses in Edward Nelson's internal set theory, Russian Mathematical Surveys, vol. 46 (1991), pp. 154.CrossRefGoogle Scholar
[3]Keisler, H. J., Kunen, K., Miller, A., and Leth, S., Descriptive set theory over hyperfinite sets, this Journal, vol. 54 (1989), pp. 11671180.Google Scholar
[4]Nelson, E., Internal set theory; a new approach to nonstandard analysis, Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 11651198.CrossRefGoogle Scholar
[5]Nelson, E., The syntax of nonstandard analysis, Annals of Pure and Applied Logic, vol. 38 (1988), pp. 123134.CrossRefGoogle Scholar
[6]Reeken, M., On external constructions in internal set theory, Expositiones Mathematicae, vol. 10 (1992), pp. 193247.Google Scholar
[7]Ross, D., The special model axiom in nonstandard analysis, this Journal, vol. 55 (1990), pp. 12331242.Google Scholar