Results 251 to 260 of about 19,658 (300)

Bayesian test of gene flow between sister lineages using genomic data

Yang Z, Jiao X, Cheng S, Zhu T.
europepmc   +1 more source

Construction of Satisfaction Classes for Nonstandard Models

Canadian Mathematical Bulletin, 1981
AbstractGiven a resplendent model for Peano arithmetic there exists a full satisfaction class over , i.e. an assignment of truth-values, to all closed formulas in the sense of with parameters from , which satisfies the usual semantic rules. The construction is based on the consistency of an appropriate system of -logic which is proved by an analysis ...
Kotlarski, H., Krajewski, S., Lachlan, A. H.   +2 more
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

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.
Peter Roquette
exaly   +2 more sources

A recursive nonstandard model of normal open induction

Journal of Symbolic Logic, 1996
AbstractModels of normal open induction are those normal discretely ordered rings whose nonnegative part satisfy Peano's axioms for open formulas in the language of ordered semirings. (Where normal means integrally closed in its fraction field.)In 1964 Shepherdson gave a recursive nonstandard model of open induction.
Alessandro Berarducci, Margarita Otero
openaire   +4 more sources

Nonstandard Models

2007
Vath Martin
exaly   +3 more sources

Exact and nonstandard numerical schemes for linear delay differential models

Applied Mathematics and Computation, 2018
Delay differential models present characteristic dynamical properties that should ideally be preserved when computing numerical approximate solutions. In this work, exact numerical schemes for a general linear delay differential model, as well as for the
M Angeles Castro, J A Martin, FRANCISCO Rodríguez   +2 more
exaly   +2 more sources

Hyperordinals and nonstandard alpha-models

, 1996
In this paper we extend the traditional set-theoretic notion of standard models and nonstandard models going up to alpha levels in the cumulative hierarchy, alpha any given limit ordinal. A proof of the representation theorem is given and the structure of nonstandard models is studied where the "transfer principle" holds for every (not necessarily ...
DI NASSO, MAURO
openaire   +2 more sources

Positive and elementary stable nonstandard numerical methods with applications to predator–prey models

Journal of Computational and Applied Mathematics, 2006
Positive and elementary stable nonstandard (PESN) finite-difference methods, having the same qualitative features as the corresponding continuous predator–prey models, are formulated and analyzed. The proposed numerical techniques are based on a nonlocal
Hristo V Kojouharov
exaly   +2 more sources

Automated Fitting of Nonstandard Models

Multivariate Behavioral Research, 1992
A method for automated parameter estimation and testing of fit of nonstandard models for mean vectors and covariance matrices is described. Nonlinear equality and inequality constraints on the parameters of the model are allowed for. All the user will need to provide are subroutines to evaluate the mean vector and covariance matrix according to the ...
M W, Browne, S H, Du Toit
openaire   +2 more sources

Modeling vagueness by nonstandardness

Fuzzy Sets and Systems, 1998
The paper is a philosophical discussion of some possibilities to model vagueness in mathematics. For this goal, the author takes into consideration nonstandardness and demonstrates that some properties of typically vague predicates (such as ``small'') can be modelled in nonstandard models of arithmetics. The standard numbers represent ``horizon'', i.e.
openaire   +1 more source