Some proofs of undecidability of arithmetic
Andrzej Grzegorczyk (1956)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Textes & documents - A new source for medieval mathematics in the iberian peninsula: the commercial arithmetic in Ms 10106 (Biblioteca Nacional, Madrid)”
Some proofs of undecidability of arithmetic
Algebra with Arithmetic and Mensuration
Brahmagupta
Similarity:
The Elements of Arithmetic
Augustus DeMorgan
Similarity:
On the structure of sets with many k-term arithmetic progressions
(2009)
Acta Arithmetica
Similarity:
Some results on Oppenheim's "Factorisatio Numerorum" function
Florian Luca, Anirban Mukhopadhyay, Kotyada Srinivas (2010)
Acta Arithmetica
Similarity:
The Philosophy of Arithmetic
John Leslie
Similarity:
A generalization of Freiman's 3k-3 Theorem
Yahya Ould Hamidoune, Alain Plagne (2002)
Acta Arithmetica
Similarity:
Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
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.
Arithmetic functions on Beatty sequences
Abercrombie Alex G., Banks William D., Shparlinski Igor E. (2009)
Acta Arithmetica
Similarity:
Arithmetic progressions in sums of subsets of sparse sets
Tomasz Schoen (2011)
Acta Arithmetica
Similarity:
On non-intersecting arithmetic progressions
Ernest S. Croot III (2003)
Acta Arithmetica
Similarity:
Farhi arithmetic functions associated to Lucas sequences
Qing-Zhong Ji (2011)
Acta Arithmetica
Similarity:
On the correlation of the truncated Liouville function
Hédi Daboussi, András Sárközy (2003)
Acta Arithmetica
Similarity: