[FOM] Re: Order of N^*

Yoram Hirshfeld joram at post.tau.ac.il
Tue Aug 12 04:36:34 EDT 2003


>From J. G. Kemeny "Undecidable problems of elementary number theory"
Math.Annalen 135 (1958), page 166, footnote 9:

"This result was found by Henkin and the author in 1947. But
a search of the literature indicates that Skolem was aware of it much 
earlier."






More information about the FOM mailing list