For more information about this meeting, contact Stephen Simpson, Jan Reimann.
| Title: | Generic cuts in models of arithmetic, reprise. |
|---|
| Seminar: | Logic Seminar |
|---|
| Speaker: | Tin Lok (Lawrence) Wong, Ghent University, Belgium |
|---|
| Abstract: |
|---|
| Generic cuts are a particularly nice family of cuts (i.e., initial segments) in nonstandard models of arithmetic. They first appeared in Richard Kaye's 2008 paper, and are known to possess a number of pleasant model theoretic properties. However, it has been unclear what the key to genericity is. In the talk, I will describe generic cuts from various perspectives, e.g., the functions under which they are closed, the ways in which they are moved by automorphisms, and the types they realize. All these help one better picture generic cuts. |
Room Reservation Information
| Room Number: | MB315 |
|---|
| Date: | 03 / 26 / 2013 |
|---|
| Time: | 02:30pm - 03:45pm |
|---|
