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 1.
Seminar:Logic Seminar
Speaker:Stephen G. Simpson, Pennsylvania State University
Abstract Link:http://www.math.psu.edu/simpson/papers/arith-sing.pdf
Abstract:
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

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