Blog Archives

Topic Archive: pseudostandard cuts

Models of PAWednesday, April 17, 20136:30 pmGC 4214.03

Roman Kossak

Pseudostandard cuts

The City University of New York

A cut I in a model M of PA is pseudostandrd if there is an N such that (M,I) is elementary
equivalent to (N,omega). I will discuss some preliminary results in model theory of pseudostandard cuts.