Some proofs of undecidability of arithmetic
Andrzej Grzegorczyk (1956)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The strength of Turing determinacy within second order arithmetic”
Some proofs of undecidability of arithmetic
Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
Similarity:
Algebra with Arithmetic and Mensuration
Brahmagupta
Similarity:
The Elements of Arithmetic
Augustus DeMorgan
Similarity:
The Philosophy of Arithmetic
John Leslie
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:
Arithmetic functions on Beatty sequences
Abercrombie Alex G., Banks William D., Shparlinski Igor E. (2009)
Acta Arithmetica
Similarity:
An Ordering of the set of Sentences of Peano Arithmetic
Aleksandar Ignjatović (1985)
Publications de l'Institut Mathématique
Similarity:
Arithmetic progressions in sums of subsets of sparse sets
Tomasz Schoen (2011)
Acta Arithmetica
Similarity:
Textes & documents - A new source for medieval mathematics in the iberian peninsula: the commercial arithmetic in Ms 10106 (Biblioteca Nacional, Madrid)
Javier Docampo Rey (2009)
Revue d'histoire des mathématiques
Similarity:
This paper contains a critical edition of a short commercial arithmetic written in Castilian (ca. 1400). The manuscript has certain characteristic features, like the presence of composite fractions, that distinguishes it from other known treatises of the Iberian peninsula. The document appears to improve considerably our knowledge of the origins and the transmission of vernacular commercial arithmetic in Europe.
Farhi arithmetic functions associated to Lucas sequences
Qing-Zhong Ji (2011)
Acta Arithmetica
Similarity:
On non-intersecting arithmetic progressions
Régis de la Bretèche, Kevin Ford, Joseph Vandehey (2013)
Acta Arithmetica
Similarity:
We improve known bounds for the maximum number of pairwise disjoint arithmetic progressions using distinct moduli less than x. We close the gap between upper and lower bounds even further under the assumption of a conjecture from combinatorics about Δ-systems (also known as sunflowers).