Results 101 to 110 of about 166,162,676 (139)

Second order bounded arithmetic and computational complexity(Study of definability in nonstandard models of arithmetic)

Second order bounded arithmetic and computational complexity(Study of definability in nonstandard models of arithmetic)
openaire   +1 more source

Mathematical Modelling of Oxygenation Dynamics using High-Resolution Perfusion Data – Part 2: Physiological Insights

Sharabiani MTA, Mahani AS, Issitt RW, Srinivasan Y, Bottle A, Stoica S.   +5 more
europepmc   +1 more source

Forking in Generic Structures(Study of definability in nonstandard models of arithmetic)

Forking in Generic Structures(Study of definability in nonstandard models of arithmetic)
openaire   +1 more source

Weakly o-minimal structures(Study of definability in nonstandard models of arithmetic)

Weakly o-minimal structures(Study of definability in nonstandard models of arithmetic)
openaire   +1 more source

On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)

On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)
openaire   +1 more source

Quantifier elimination of the products of ordered abelian groups(Study of definability in nonstandard models of arithmetic)

Quantifier elimination of the products of ordered abelian groups(Study of definability in nonstandard models of arithmetic)
openaire   +1 more source

On P-closure operator in quasi-minimal structures(Study of definability in nonstandard models of arithmetic)

On P-closure operator in quasi-minimal structures(Study of definability in nonstandard models of arithmetic)
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Nonstandard models that are definable in models of Peano Arithmetic

Mathematical Logic Quarterly, 2007
AbstractIn this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model N without parameters in a model M, we show that N is isomorphic to M if M is elementary extension of the standard model and N is elementarily equivalent to M.
Akito Tsuboi
exaly   +2 more sources

Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1987
In my thesis [see Bonner Math. Schriften 61 (1973; Zbl 0279.02039)] I have introduced the theory of Very Weak Induction for open formulae VWIO, which differs from WIO (AIO) studied by \textit{J. C. Shepherdson} [Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys.
exaly   +4 more sources

Nonstandard models for arithmetic and analysis

Studia Logica, 1974
Alexander Abian
exaly   +3 more sources