Schmerl’s Lemma and Boundedly Saturated Models

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

Erez Shochat

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.

Models of PAautomorphism groupsaturated models
Make poster
Posted by Roman Kossak on October 21st, 2013