Undecidable problems of elementary number theory

DOI10.1007/BF01343100zbMath0081.24703WikidataQ110853092 ScholiaQ110853092MaRDI QIDQ769606

John G. Kemeny

Publication date: 1958

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160608

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

Nonstandard arithmetic ⋮ Addition in nonstandard models of arithmetic ⋮ On the Structure of Nonstandard Models of Arithmetic ⋮ Note on a paper of Kemeny's ⋮ Nicht-Standardmodelle der Zahlentheorie

Cites Work

• The completeness of the first-order functional calculus
• Completeness in the theory of types

This page was built for publication: Undecidable problems of elementary number theory