Models of PAWednesday, October 23, 20136:30 pmGC 4214.03
Schmerl’s Lemma and Boundedly Saturated Models
Erez Shochat
St. Francis College
We prove a slight modification of Schmerl’s Lemma for saturated models, and show how it can be applied to prove Kaye’s Theorem for boundedly saturated models of PA.
Posted by
on October 21st, 2013