Logic Seminar
Dave Marker
UIC
Real closures of $\omega_1$-like models of PA
Abstract: In an earlier seminar I showed that, assuming
$\diamondsuit$, there is a family of $2^{\aleph_1}$ recursively saturated
models of Peano Arithmetic with the same theory and standard system
but non-isomorphic real closures. I will give a new proof of this without
the assumption of $\diamondsuit$. This is joint work with Jim Schmerl and
Charlie Steinhorn.
Tuesday September 3, 2013 at 4:00 PM in SEO 427