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

## Calendar

Download iCal File

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.

Roland Walker

Nov 12, 2019

Nov 12, 2019