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

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.

Posted by on October 21st, 2013