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.

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.

Posted by on April 8th, 2013