Type: Article
Publication Date: 1958-10-01
Citations: 4
DOI: https://doi.org/10.1007/bf01347796
Action | Title | Year | Authors |
---|---|---|---|
+ PDF Chat | Tennenbaum's theorem for models of arithmetic | 2011 |
Richard Kaye |
+ PDF Chat | On the structure of nonstandard models of arithmetic | 1971 |
R. Phillips |
+ | Addition in nonstandard models of arithmetic | 1972 |
R. Phillips |
Action | Title | Year | Authors |
---|---|---|---|
+ | Undecidable problems of elementary number theory | 1958 |
John G. Kemeny |