Results 251 to 260 of about 21,807,131 (299)

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 ...
C. Smorynski
openaire   +2 more sources

Nonstandard Models and Related Developments

1985
Publisher Summary This chapter focuses on nonstandard models and related developments. To the average mathematician, the adjective “nonstandard” attaches itself to the noun “analysis.” However, there are also nonstandard models of first-order arithmetic, second-order arithmetic, and even set theory. While the study of nonstandard models of set theory
C. Smorynski
openaire   +2 more sources

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 ...
C. Smorynski
openaire   +2 more sources

Nonstandard Models

2007
Thomas Wieting
semanticscholar   +3 more sources

Addition in nonstandard models of arithmetic

Journal of Symbolic Logic, 1972
In [3] Kemeny made the following conjecture: Suppose *Z is a nonstandard model of the ring of integers Z. Letand let F be the subgroup of those cosets ā which contain an element of infinite height in *Z. Kemeny then asked if the ring R = {a: ā ∈ F} is also a nonstandard model of Z. If so then Goldbach's conjecture is false because Kemeny also shows in [
R. Phillips
openaire   +2 more sources

Amalgamation of nonstandard models of arithmetic

Journal of Symbolic Logic, 1977
AbstractAny two models of arithmetic can be jointly embedded in a third with any prescribed isomorphic submodels as intersection and any prescribed relative ordering of the skies above the intersection. Corollaries include some known and some new theorems about ultrafilters on the natural numbers, for example that every ultrafilter with the “4 to 3 ...
A. Blass
openaire   +3 more sources

Simulation Techniques in Nonstandard Models

2018
Baojiu Li
openaire   +2 more sources

D‐optimal experimental design for production models in nonstandard experiments

Quality and Reliability Engineering International, 2020
Robust design is an effective Quality by Design method to reduce product variation by selecting levels of design factors. For a number of situations, a nonstandard design region with linearly limited resources is needed to conduct an experiment.
Akın Özdemir
semanticscholar   +1 more source

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 finite difference approach for solving 3‐compartment pharmacokinetic models

International Journal for Numerical Methods in Biomedical Engineering, 2018
Complex nature of the analytical solutions to 3‐compartment pharmacokinetic models leads to the discrete approximation of the continuous differential equation been mostly used.
O. Egbelowo
semanticscholar   +1 more source