Nov 13 2019

Louise Hay Logic Seminar: Overview of Recursive Saturation, Scott Sets, and $S$-Saturation, by Roland Walker

November 13, 2019

4:00 PM - 4:50 PM


427 SEO


Chicago, IL

Roland Walker (UIC): Overview of Recursive Saturation, Scott Sets, and $S$-Saturation

Recursive saturation and $S$-saturation are interesting concepts at the intersection of model theory and recursion theory. In this talk, we will define and discuss recursively saturated models, Scott sets, effectively perfect theories, standard systems, and $S$-saturated models. We will prove that any recursively saturated model of an effectively perfect theory is $S$-saturated for exactly one Scott set $S$. It is natural to ask if all Scott sets arise in this fashion. In 1982, Knight and Nadel showed that all Scott sets of size at most $\aleph_1$ arise as the standard system of some nonstandard model of Peano Arithmetic. We will prove a more general version of this result which applies to any computable theory. This closes the question under CH. We will discuss recent progress which closes the question for specific theories when CH is not assumed.

Please click here to make changes to, or delete, this seminar announcement.


Roland Walker

Date posted

Nov 12, 2019

Date updated

Nov 12, 2019


Roland Walker | (UIC)