For more information about this meeting, contact Stephen Simpson, Jan Reimann.
|Title:||Implicit definability in arithmetic, part 2.|
|Speaker:||Stephen G. Simpson, Pennsylvania State University|
|In part 2 I shall begin by stating Harrington's unpublished 1975 theorems concerning implicit definability over the natural number system N,+,x,=. After that, I shall prove a simplified version of the theorems. The full version will be proved in part 3.|
Room Reservation Information
|Date:||01 / 15 / 2013|
|Time:||02:30pm - 03:45pm|