Blog Archives

Topic Archive: saturated models

Models of PAWednesday, October 23, 20136:30 pmGC 4214.03

Erez Shochat

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.