Results 271 to 280 of about 19,658 (300)

Recursively saturated nonstandard models of arithmetic

Journal of Symbolic Logic, 1981
Through the ability of arithmetic to partially define truth and the ability of infinite integers to simulate limit processes, nonstandard models of arithmetic automatically have a certain amount of saturation: Any encodable partial type whose formulae all fall into the domain of applicability of a truth definition must, by finite satisfiability and ...
openaire   +1 more source

The nonstandard λ:φ24(x): model. II. The standard model from a nonstandard point of view

Journal of Mathematical Physics, 1972
As a second step in the construction of the nonstandard λ:φ24: model we analyze Glimm and Jaffe's work from the nonstandard point of view.
Peter J. Kelemen, Abraham Robinson
openaire   +1 more source

NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS

The Bulletin of Symbolic Logic, 2014
AbstractWe give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic.
Li, Wei, Chong, Chi Tat, Yang, Yue
openaire   +3 more sources

Nonstandard big bang models

Physics Letters A, 1989
Abstract The usual FRW hot big-bang cosmologies have been generalized by considering the equation of state ϱ=Anm+(γ−1)-1p, where m is the rest mass of the fluid particles and A is a dimensionless constant. Explicit analytic solutions are given for the flat case (ϵ=0).
M.O. Calvão, J.A.S. Lima
openaire   +1 more source

Nonstandard Models and Constructivity

1982
Publisher Summary This chapter reviews an instance of constructivization. Constructive mathematics is the legacy of Brouwer's philosophy, and the relation between constructive and nonconstructive mathematics is the legacy of Hilbert's programme. The best general-purpose conservation result relating classical and intuitionistic systems of mathematics ...
openaire   +1 more source

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   +2 more sources

On some uses of nonstandard models

Fundam. Informaticae, 2007
The author asks whether one can learn anything about classical mathematics by studying nonstandard models. And he shows that the answer is yes. He starts by giving such a proof of Ryll-Nardzewski's theorem stating that Peano arithmetic is not finitely axiomatizable.
openaire   +2 more sources

Kinematics with Nonstandard Cable Models

2018
In this chapter, we deal with the extension of the standard kinematic model by taking realistic assumptions for the cables into account. The modeling of nontrivial winch kinematics with guiding pulleys is addressed in Sect. 7.2. The consideration of cable mass leads to sagging (Sect. 7.3) and the finite stiffness of the cables causes elastic effects in
openaire   +1 more source

On the nonstandard finite difference method for reaction–diffusion models

Chaos, Solitons and Fractals, 2023
Syed Ahmed Pasha, Yasir Nawaz, Muhammad Shoaib Arif   +2 more
exaly  

On nonstandard models of Presburger's arithmetic

1997
Pr = Th (Z ,+,
openaire   +1 more source