check
Logic Seminar - Yair Hayut | Einstein Institute of Mathematics

Logic Seminar - Yair Hayut

Date: 
Wed, 08/06/202211:00-13:00
Location: 
https://huji.zoom.us/j/89186499242?pwd=Rjl1czhLeGI1L2dRL1E5RXRrbmIvdz09

Title: Upwards Lowenheim-Skolem for $L_{\omega_1, \omega}$

Abstract: Let T be a first order theory and p a (partial) type over a countable language. Are there arbitrary large infinite models of T that omit p? In 1965 Morley showed that the answer for that is affirmative exactly when there are models of T that omit p of arbitrarily large cardinality $<\beth_{\omega_1}$.

Morley's theorem does not generalize to uncountable languages in the expected way. I will survey a couple of results (which are probably due to Shelah) about the behaviour of this problem for uncountable languages. Then, I will return to the countable case and talk about the "maximal models spectrum" (which appears implicitly in Morley's lower bound). I will show a recent result of Sinapova and Ioannis, in which a set theoretical spectrum was used in order to gain some control over this model theoretical spectrum.