zbMATH — the first resource for mathematics

Minimal axiomatic frameworks for definable hyperreals with transfer. (English) Zbl 1447.03014
Summary: We modify the definable ultrapower construction of V. Kanovei and S. Shelah [J. Symb. Log. 69, No. 1, 159–164 (2004; Zbl 1070.03044)] to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals.

03E35 Consistency and independence results
03C20 Ultraproducts and related constructions
03H05 Nonstandard models in mathematics
Full Text: DOI
[1] Baumgartner, J. E. and Laver, R., Iterated perfect-set forcing. Annals of Mathematical Logic, vol. 17 (1979), no. 3, pp. 271-288. doi:10.1016/0003-4843(79)90010-X · Zbl 0427.03043
[2] Chang, C. C. and Keisler, H. J., Model Theory, third ed., Studies in Logic and Foundations of Mathematics, vol. 73, North Holland, Amsterdam, 1992. · Zbl 0697.03022
[3] Davis, M.Applied Nonstandard Analysis, Pure and Applied Mathematics, Wiley-Interscience [John Wiley & Sons]New York-London-Sydney, 1977. · Zbl 0359.02060
[4] Feferman, S., Some applications of the notions of forcing and generic sets. Fundamental Mathematics, vol. 56 (1965), pp. 325-345. · Zbl 0129.26401
[5] Herzberg, F. S., A definable nonstandard enlargement. Mathematical Logic Quarterly, vol. 54 (2008), no. 2, pp. 167-175. doi:10.1002/malq.200710022 · Zbl 1193.03085
[6] Herzberg, F. S., Stochastic Calculus with Infinitesimals, Lecture Notes in Mathematics, vol. 2067, Springer, Heidelberg, 2013. · Zbl 1302.60006
[7] Hurd, A. E. and Loeb, P. A., An Introduction to Nonstandard Real Analysis, Pure and Applied Mathematics, vol. 118, Academic Press, Orlando, FL, 1985. · Zbl 0583.26006
[8] Jech, Th., The Axiom of Choice, (1973), North-Holland Publishing Company: North-Holland Publishing Company, Amsterdam, London · Zbl 0259.02051
[9] Kanovei, V. and Katz, M., A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory. Real Analysis Exchange, vol. 42 (2017), no. 2, pp. 1-6. doi:10.14321/realanalexch.42.1.0001 · Zbl 1423.03180
[10] Kanovei, V. and Lyubetsky, V., Problems of set-theoretic non-standard analysis. Surveys Russian Mathematical Surveys, vol. 62 (2007), no. 1, pp. 45-111. doi:10.1070/RM2007v062n01ABEH004381 · Zbl 1226.03067
[11] Kanovei, V. and Reeken, M., Nonstandard Analysis, Axiomatically, Springer Monographs in Mathematics, Springer, Berlin, 2004.
[12] Kanovei, V. and Shelah, S., A definable nonstandard model of the reals, this Journal, vol. 69 (2004), no. 1, pp. 159-164. · Zbl 1070.03044
[13] Kanovei, V. and Uspensky, V. A., On the uniqueness of nonstandard extensions. Moscow University Mathematics Bulletin, vol. 61 (2006), no. 5, pp. 1-8.
[14] Keisler, H. J., The hyperreal line, Real Numbers, Generalizations of Reals, and Theories of Continua (Ehrlich, P., editor), Kluwer, Dordrecht, 1994, pp. 207-237. · Zbl 0964.03535
[15] Keisler, H. J., Foundations of Infinitesimal Calculus. Instructor’s Manual. Prindle, Weber & Schmidt. The online 2007 edition is available at the site http://www.math.wisc.edu/∼keisler/foundations.html.
[16] Kunen, K., Set Theory, An Introduction to Independence Proofs, (1980), North-Holland Publishing Company: North-Holland Publishing Company, Amsterdam, London · Zbl 0443.03021
[17] Luxemburg, W. A. J., A general theory of monads, Applications of Model Theory to Algebra, Analysis, and Probability (International Symposium, Pasadena, California, 1967) (Luxemburg, W. A. J., editor), Holt, Rinehart and Winston, New York, 1969, pp. 18-86. · Zbl 0207.52402
[18] Luxemburg, W. A. J., What is nonstandard analysis?American Mathematical Monthly, vol. 80 (1973), Supplement, pp. 38-67. doi:10.2307/3038221 · Zbl 0268.26019
[19] Nelson, E., The virtue of simplicity, The Strength of Nonstandard Analysis (Van Den Berg, I. P. and Neves, V., editors), Springer, Vienna, 2007, pp. 27-32. doi:10.1007/978-3-211-49905-4_2
[20] Pincus, D. and Solovay, R. M., Definability of measures and ultrafilters, this Journal, vol. 42, (1977), pp. 179-190. · Zbl 0384.03030
[21] Repicky, M., A proof of the independence of the axiom of choice from the Boolean prime ideal theorem. Commentationes Mathematicae Universitatis Carolinae, vol. 56 (2015), no. 4, pp. 543-546. doi:10.14712/1213-7243.2015.138 · Zbl 1363.03021
[22] Robinson, A. and Zakon, E., A set-theoretical characterization of enlargements, Applications of Model Theory to Algebra, Analysis, and Probability, (International Symposium, Pasadena, California, 1967) (Luxemburg, W. A. J., editor), Holt, Rinehart and Winston, New York, 1969, pp. 109-122.
[23] Solovay, R. M., A Model of set theory in which every set of reals is Lebesgue measurable. Annals of Mathematics, vol. 92 (1970), pp. 1-56. doi:10.2307/1970696 · Zbl 0207.00905
[24] Stroyan, K. D. and Luxemburg, W. A. J., Introduction to the Theory of Infinitesimals, Pure and Applied Mathematics, vol. 72, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1976. · Zbl 0336.26002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.