Pseudostandard cuts

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

Roman Kossak

Pseudostandard cuts

Roman Kossak

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.

Roman Kossak is professor of mathematics at The City University of New York, at Bronx Community College and also at the CUNY Graduate Center. He conducts research in mathematical logic, especially in model theory of Peano Arithmetic.

Models of PApseudostandard cuts
Make poster
Posted by Roman Kossak on April 8th, 2013