FOM: non-standard models
neilt at hums62.cohums.ohio-state.edu
Sun Nov 30 20:15:05 EST 1997
I would like to know the earliest documented observation that there are
non-standard models for the theory of arithmetic. I am interested not so
much in date of first publication, as date of first realization of this fact.
Can anyone on the list help me?
To reduce load on the list, private replies can be sent to tennant.9 at osu.edu
More information about the FOM