Louise Hay Logic Seminar
Roland Walker
UIC
Overview of Recursive Saturation, Scott Sets, and S-Saturation
Abstract: 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.
Thursday April 28, 2016 at 4:00 PM in SEO 427