Wednesday, October 23, 20136:30 pmModels of PAGC 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.