Results 141 to 150 of about 401 (159)

The Bass-Milnor-Serre theorem for nonstandard models in Peano arithmetic

Journal of Symbolic Logic, 1993
The aim of this paper is to extend the Bass-Milnor-Serre theorem to the nonstandard rings associated with nonstandard models of Peano arithmetic, in brief to Peano rings.First, we recall the classical setting. Let k be an algebraïc number field, and let θ be its ring of integers. Let n be an integer ≥ 3, and let G be the group Sln(θ) of (n, n) matrices
openaire   +2 more sources

Formal Theories of Truth and Nonstandard Models of Arithmetic

2022
Link archiwalny https://depotuw.ceon.pl/handle/item ...
openaire   +1 more source

On nonstandard models of Presburger's arithmetic

1997
Pr = Th (Z ,+,
openaire   +1 more source

An Effective Conservation Result for Nonstandard Arithmetic

Mathematical Logic Quarterly, 2000
Erik Palmgren
exaly  

Normal subgroups of nonstandard symmetric and alternating groups

Archive for Mathematical Logic, 2007
Richard Kaye
exaly  

The arithmetic of cuts in models of arithmetic

Mathematical Logic Quarterly, 2013
Richard Kaye
exaly  

Cognitive and hemispheric inversions when learning nonstandard arithmetic

Systems Research and Behavioral Science, 1990
Uri Fidelman
exaly  

A functional interpretation for nonstandard arithmetic

Annals of Pure and Applied Logic, 2012
Benno Van Den Berg
exaly  

Nonstandard second-order arithmetic and Riemannʼs mapping theorem

Annals of Pure and Applied Logic, 2014
Keita Yokoyama
exaly