Logic Seminar
Ioannis Souldatis
University of Detroit Mercy
Title: Characterizing successor cardinals by $L_{\omega_1,\omega}$-sentences.
Abstract: An $L_{\omega_1,\omega}$ sentence $\phi$ characterizes a cardinal $\kappa$, if $\phi$ has models in all powers up to $\kappa$, but not in $\kappa^+$.
During the talk we will focus on the results and the construction in Hjorth's [1], and state some extensions of these results, as well as questions that remain open.
[1] Hjorth, G.
Knight's model, its automorphism group, and characterizing the uncountable cardinals
J. Math. Log., 2002, 2, 113-144
Tuesday December 10, 2013 at 3:30 PM in SEO 427