Results 281 to 290 of about 21,807,131 (299)

Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models

Logic Programming and Automated Reasoning, 2010
J. Blanchette, Koen Claessen
semanticscholar   +1 more source

Nonstandard log-linear models.

Psychological Bulletin, 1990
openaire   +1 more source

Constructive Nonstandard Models for Peano Arithmetic

This paper explores the notion of constructive nonstandard models for Peano Arithmetic (PA). While classical model theory provides a rich landscape of nonstandard models, their existence often relies on non-constructive principles such as the Axiom of Choice or the Compactness Theorem.
openaire   +1 more source

Construction of nonstandard finite difference schemes for the SI and SIR epidemic models of fractional order

Mathematics and Computers in Simulation, 2016
Abraham J. Arenas, G. González-Parra, B. Chen-Charpentier   +2 more
semanticscholar   +1 more source

Nonstandard Models

2002
openaire   +1 more source

On the standard part of nonstandard models of set theory

Journal of Symbolic Logic (JSL), 1983
M. Magidor, S. Shelah, J. Stavi
semanticscholar   +1 more source

Consequences of observed BdBd mixing in standard and nonstandard models

, 1987
A. Datta, E. Paschos, U. Türke
semanticscholar   +1 more source

Countable Nonstandard Models: Following Skolem’s Approach

2021
Rumen D. Dimitrov, Valentina Harizanov
openaire   +1 more source

Nonstandard Models for Thin-Walled Beams With a View to Applications

, 1996
N. Rizzi, A. Tatone
semanticscholar   +1 more source

Algebraic extensions in nonstandard models and Hilbert's irreducibility theorem

Journal of Symbolic Logic (JSL), 1988
M. Yasumoto
semanticscholar   +1 more source