Some proofs of undecidability of arithmetic
Andrzej Grzegorczyk (1956)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Heights of varieties in multiprojective spaces and arithmetic Nullstellensätze”
Some proofs of undecidability of arithmetic
Algebra with Arithmetic and Mensuration
Brahmagupta
Similarity:
The Elements of Arithmetic
Augustus DeMorgan
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:
On the structure of sets with many k-term arithmetic progressions
(2009)
Acta Arithmetica
Similarity:
Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
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:
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).
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 progressions in sums of subsets of sparse sets
Tomasz Schoen (2011)
Acta Arithmetica
Similarity:
Farhi arithmetic functions associated to Lucas sequences
Qing-Zhong Ji (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.
Sums of multiplicative function in special arithmetic progressions
Bin Feng (2019)
Czechoslovak Mathematical Journal
Similarity:
We find, via the Selberg-Delange method, an asymptotic formula for the mean of arithmetic functions on certain APs. It generalizes a result due to Cui and Wu (2014).