Wednesday, April 17, 20136:30 pmModels of PAGC 4214.03

Pseudostandard cuts

Roman Kossak

The City University of New York

Roman Kossak

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.