Undecidable problems of elementary number theory

DOI10.1007/BF01343100zbMATH Open0081.24703WikidataQ110853092 ScholiaQ110853092MaRDI QIDQ769606FDOQ769606

Authors: 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

Cites Work

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

Cited In (5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q769606)