Results 121 to 130 of about 401 (159)

On pseudospaces(Study of definability in nonstandard models of arithmetic)

On pseudospaces(Study of definability in nonstandard models of arithmetic)
openaire  

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  

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  

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  

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  

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  

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  

Lectures on Nonstandard Models of Arithmetic

Studies in Logic and the Foundations of Mathematics, 1984
C Smorynski
exaly   +4 more sources

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.
Kazuma Ikeda, Akito Tsuboi
openaire   +3 more sources

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

Mathematical Logic Quarterly, 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.
openaire   +4 more sources