[FOM] Nonstandard Methods

Martin Davis martin at eipye.com
Wed Jul 30 15:38:48 EDT 2003

On July 30, 2003, Harvey Friedman asked:

>Also, who is credited for analyzing the unique order type of any countable
>nonstandard model of PA?

Leon Henkin noted this in his doctoral dissertation of 1949.


More information about the FOM mailing list