[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