Order-types of models of arithmetic and a connection with arithmetic saturation.
Bovykin, Andrey (2004)
Lobachevskii Journal of Mathematics
Similarity:
Displaying similar documents to “Initial segments and isomorphic images of nonstandard models of arithmetic”
Order-types of models of arithmetic and a connection with arithmetic saturation.
Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
Similarity:
An Ordering of the set of Sentences of Peano Arithmetic
Aleksandar Ignjatović (1985)
Publications de l'Institut Mathématique
Similarity:
The Elements of Arithmetic
Augustus DeMorgan
Similarity:
Algebra with Arithmetic and Mensuration
Brahmagupta
Similarity:
Some proofs of undecidability of arithmetic
Andrzej Grzegorczyk (1956)
Fundamenta Mathematicae
Similarity:
On disjoint arithmetic progressions
Yong-Gao Chen (2005)
Acta Arithmetica
Similarity:
Some results on Oppenheim's "Factorisatio Numerorum" function
Florian Luca, Anirban Mukhopadhyay, Kotyada Srinivas (2010)
Acta Arithmetica
Similarity:
On the structure of sets with many k-term arithmetic progressions
(2009)
Acta Arithmetica
Similarity:
A generalization of Freiman's 3k-3 Theorem
Yahya Ould Hamidoune, Alain Plagne (2002)
Acta Arithmetica
Similarity:
The Philosophy of Arithmetic
John Leslie
Similarity: