Results 31 to 40 of about 45 (44)

Nonstandard models for arithmetic and analysis

Studia Logica, 1974
Alexander Abian
exaly  

A Nonstandard Counterpart of WWKL

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

Normal subgroups of nonstandard symmetric and alternating groups

Archive for Mathematical Logic, 2007
Richard Kaye
exaly  

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

Mathematical Logic Quarterly, 2017
Fernando Ferreira, Bruno Dinis
exaly  

Nonstandard Functional Interpretations and Categorical Models

Notre Dame Journal of Formal Logic, 2017
Amar HADŽIHASANOVIĆ, Benno Van Den Berg   +1 more
exaly  

An Effective Conservation Result for Nonstandard Arithmetic

Mathematical Logic Quarterly, 2000
exaly  

Weak theories of nonstandard arithmetic and analysis

2017
Jeremy Avigad, Stephen G Simpson
exaly  

Transfer principles in nonstandard intuitionistic arithmetic

Archive for Mathematical Logic, 2002
Jeremy Avigad
exaly  

Lectures on Nonstandard Models of Arithmetic

Studies in Logic and the Foundations of Mathematics, 1984
C Smorynski
exaly  

Number theoretic transform based on ternary arithmetic and its application to cyclic convolution

IEEE Transactions on Circuits and Systems, 1983
exaly