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. Martin