Infrafiltration Theorem and Some Inductive Sequence of Models of Generalized Second-Order Dedekind Theory of Real Numbers With Exponentially Increasing Powers
From MaRDI portal
Publication:6319081
arXiv1905.08455MaRDI QIDQ6319081FDOQ6319081
Authors: V. K. Zakharov, Timofey V. Rodionov 
Publication date: 21 May 2019
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 first and second orders. The basic tools for the presented construction are the infraproduct of collection of mathematical systems different from the factorized Lo's ultraproduct and the corresponding generalized infrafiltration theorem. As its auxiliary corollary we obtain the generalized compactness theorem for the generalized second-order language.
Ultraproducts and related constructions (03C20) Applications of model theory (03C98) Nonstandard models in mathematics (03H05) Second- and higher-order model theory (03C85) Model theory (number-theoretic aspects) (11U09) Nonstandard analysis (26E35) Ultraproducts (number-theoretic aspects) (11U07)
This page was built for publication: Infrafiltration Theorem and Some Inductive Sequence of Models of Generalized Second-Order Dedekind Theory of Real Numbers With Exponentially Increasing Powers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6319081)
