Dave Marker : Real closures of $\omega_1$-like models of PA

Posted by Isaac Goldbring , part of the Logic Seminar.

At

Sept. 3, 2013, 4 p.m.

In

SEO 427

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.