PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson, Jan Reimann.

Title:Implicit definability in arithmetic, part 2.
Seminar:Logic Seminar
Speaker:Stephen G. Simpson, Pennsylvania State University
Abstract Link:
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

Room Number:MB315
Date:01 / 15 / 2013
Time:02:30pm - 03:45pm