Results 241 to 250 of about 60,854 (281)

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 model of the expanding universe

International Journal of Theoretical Physics, 1992
A reformulation of general relativity is proposed with the relativity principle being invalid. Consequently the space-time manifold carries a natural (1+3)-foliation, where the foliation variables supersede the metric as the fundamental object. The Einstein equations become modified by some kind of foliation energy, but otherwise remain part of the ...
M. Mattes, M. Sorg
openaire   +1 more source

NONSTANDARD MODEL COUPLINGS IN WWV VERTEX

International Journal of Modern Physics A, 1994
Using the nonstandard model vertex for WWV coupling, the helicity amplitudes, differential cross-sections and total cross-sections for the process e+e−→W+W− as functions of κV and λV have been calculated, and compared with SM predictions. A similar calculation has also been done for the process eγ→Wνe.
A.M. HARUN AR RASHID, KH. SAIFUL ISLAM
openaire   +1 more source

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

Numbers and models, standard and nonstandard

Mathematische Semesterberichte, 2010
The author speaks about his personal recollections of Abraham Robinson, mainly concerning nonstandard analysis and also nonstandard algebra as well as nonstandard arithmetic.
openaire   +1 more source

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

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 [
openaire   +1 more source

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
openaire   +1 more source

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

Löwenheim–Skolem theorems and nonstandard models

2018
Sometimes we specify a structure by giving a description and counting anything that satisfies the description as just another model of it. But at other times we start from a conception we try to articulate, and then our articulation may fail to pin down what we had in mind. Sets seem to have had such a fate.
openaire   +1 more source