[FOM] Silly typo

Alasdair Urquhart urquhart at cs.toronto.edu
Tue Aug 5 10:46:08 EDT 2003


I made a silly error in typing out
the last paragraph of Henkin's 1950 paper.
It should read:

"A detailed investigation of these numerical structures
is beyond the scope of the present paper.  As an example,
however, we quote one simple result:  Every non-standard
denumerable model for the Peano axioms has the order
type omega + (omega* + omega) eta, where eta
is the type of the rationals."  




More information about the FOM mailing list