For more information about this meeting, contact Stephen Simpson, Jan Reimann.
|Title:||Implicit definability in arithmetic, part 1.|
|Speaker:||Stephen G. Simpson, Pennsylvania State University|
|The goal of these talks is to present Leo Harrington's unpublished 1975 theorems concerning implicit definability over the natural number system N,+,x,=.
In this first talk I shall present some relevant background material including a 1972 theorem of Hisao Tanaka. The 1972 theorem states that every nonempty arithmetical set of reals contains an arithmetical singleton.
This session will also include a brief organizational meeting where we will fill out this seminar's spring semester calendar.|
Room Reservation Information
|Date:||01 / 08 / 2013|
|Time:||02:30pm - 03:45pm|