Abstract
We discuss automorphisms of saturated models of PA and boundedly saturated models of PA. We show that Smoryński's Lemma and Kaye's Theorem are not only true for countable recursively saturated models of PA but also true for all boundedly saturated models of PA with slight modifications.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 315-329 |
| Number of pages | 15 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 52 |
| Issue number | 3 |
| DOIs | |
| State | Published - 2011 |
All Science Journal Classification (ASJC) codes
- Logic