Blog Archives
Topic Archive: saturated models
Models of PAWednesday, October 23, 20136:30 pmGC 4214.03
Schmerl’s Lemma and Boundedly Saturated Models
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.