Purity in Arithmetic: some Formal and Informal Issues

DOI10.1515/9781614518471.315zbMath1347.03006OpenAlexW4213048398MaRDI QIDQ3452180

Andrew Arana

Publication date: 18 November 2015

Published in: Formalism and Beyond (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9781614518471.315

zbMATH Keywords

infinitude of primesincompleteness in arithmeticpurity of proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

Varieties of Infiniteness in the Existence of Infinitely Many Primes ⋮ Purity and Explanation: Essentially Linked?

This page was built for publication: Purity in Arithmetic: some Formal and Informal Issues