Wednesday, October 23, 20136:30 pmModels of PAGC 4214.03

Schmerl’s Lemma and Boundedly Saturated Models

Erez Shochat

St. Francis College

Erez Shochat

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.