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