Models of PAMonday, March 10, 20146:30 pmGC 4214.03

# Boolean algebras of elementary substructures

## Roman Kossak

### The City University of New York

In his 1976 paper Haim Gaifman proved that for every set I, every model M of PA has an elementary end extension N such that Lt(N/M) is isomorphic to P(I). I will present a proof.

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 March 1st, 2014