Undecidable problems of elementary number theory

DOI10.1007/BF01343100MaRDI QIDQ769606zbMATH OpenWikidataFDO

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

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

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)