Results 121 to 130 of about 166,162,676 (139)

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

Normal subgroups of nonstandard symmetric and alternating groups

Archive for Mathematical Logic, 2007
Richard Kaye
exaly  

On the Additive Group Structure of the Nonstandard Models of the Theory of Integers

Mathematical Logic Quarterly, 2002
Mehmet Terziler
exaly  

Nonstandard second-order arithmetic and Riemannʼs mapping theorem

Annals of Pure and Applied Logic, 2014
Keita Yokoyama
exaly  

Nonstandard Models of Arithmetic and Set Theory

2004
openaire   +1 more source

An Effective Conservation Result for Nonstandard Arithmetic

Mathematical Logic Quarterly, 2000
exaly