A Sequence of Models of Generalized Second-order Dedekind Theory of Real Numbers with Increasing Powers

Main Article Content

Valeriy K. Zakharov
Timofey V. Rodionov

Abstract

The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the standard second-order Dedekind theory are. The main idea in passing to generalized models is to consider instead of superstructures with the single common set-theoretical equality and the single common set-theoretical belonging superstructures with several generalized equalities and several generalized belongings for rst and second orders. The basic tools for the presented construction are the infraproduct of collection of mathematical systems different from the factorized Los ultraproduct and the corresponding generalized infrafiltration theorem. As its auxiliary corollary we obtain the generalized compactness theorem for the generalized second-order language.

Keywords:
Second-order language, generalized models, infraproduct, ultraproduct, non-standard analysis.

Article Details

How to Cite
Zakharov, V. K., & Rodionov, T. V. (2020). A Sequence of Models of Generalized Second-order Dedekind Theory of Real Numbers with Increasing Powers. Asian Research Journal of Mathematics, 16(1), 13-39. https://doi.org/10.9734/arjom/2020/v16i130167
Section
Original Research Article

References

Feferman S. The number systems. Foundations of algebra and analysis. Addison-Wesley Publishing; 1963.

Mendelson E. Introduction to Mathematical Logic, 4th ed. Chapman&Hall / CRC; 1997.

Fletcher P, Hrbacek K, Kanovei V, Katz MG, Lobry C, Sanders S. Approaches to analysis with innitesimals following Robinson, Nelson, and others. Real Anal. Exch. 2017;42(2):193-252. DOI:10.14321/realanalexch.42.2.0193

Dinis B, Van Den Berg I. Neutrices and external numbers. Aexible number system. CRC Press; 2019.

Takeuti G. Proof theory. Dover Publications; 2013.

van Dalen D. Logic and Structure. Springer; 1997.

Rossberg M. First-order logic, second-order logic, and completeness, in: First-order logic revisited. Proceedings of the conference FOL75 { 75 years of rst-order logic. Logos Verlag. 2004;303-321.

Shapiro S. Foundations without Foundationalism: A Case for Second-Order Logic. Oxford University Press; 1991.

Vaananen J. Second-order logic and foundations of mathematics. Bull. Symb. Log. 2001;7(4):504-520.
DOI:10.2307/2687796