Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “An Ordering of the set of Sentences of Peano Arithmetic”
Some remarks on bicommutability
The Philosophy of Arithmetic
John Leslie
Similarity:
Algebra with Arithmetic and Mensuration
Brahmagupta
Similarity:
The Elements of Arithmetic
Augustus DeMorgan
Similarity:
Some proofs of undecidability of arithmetic
Andrzej Grzegorczyk (1956)
Fundamenta Mathematicae
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:
On disjoint arithmetic progressions
Yong-Gao Chen (2005)
Acta Arithmetica
Similarity:
The strength of Turing determinacy within second order arithmetic
Antonio Montalbán, Richard A. Shore (2016)
Fundamenta Mathematicae
Similarity:
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
Order-types of models of arithmetic and a connection with arithmetic saturation.
Bovykin, Andrey (2004)
Lobachevskii Journal of Mathematics
Similarity:
Arithmetic progressions in sums of subsets of sparse sets
Tomasz Schoen (2011)
Acta Arithmetica
Similarity: