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

# 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.

Posted by

on April 8th, 2013