Results 151 to 159 of about 401 (159)

Definable sets and expansions of models of Peano arithmetic

Archive for Mathematical Logic, 1988
Roman Murawski, Murawski Roman
exaly  

A Nonstandard Counterpart of WWKL

Notre Dame Journal of Formal Logic, 2011
Stephen G Simpson, Keita Yokoyama
exaly  

A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.

Journal of Symbolic Logic, 1967
openaire   +1 more source

Nonstandard Models and Kripke's Proof of the Gödel Theorem

Notre Dame Journal of Formal Logic, 2000
exaly  

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic

Mathematical Logic Quarterly, 2017
Bruno Dinis, Fernando Ferreira
exaly  

The Structure of Models of Peano Arithmetic

2006
Roman Kossak, James H Schmerl, Kossak Roman   +2 more
exaly  

Computations III: Nonstandard Models

2012
Alexander Von Eye, Eun-Young Mun
exaly  

Statistical Models and Analysis in Auditing: Panel on Nonstandard Mixtures of Distributions

Statistical Science, 1989
exaly