A Hanf number for saturation and omission

by Baldwin and Shelah. [BlSh:958]
Fundamenta Math, 2011
Suppose boldmath T =(T,T_1,p) is a triple of two countable theories in languages tau subset tau_1 and a tau_1-type p over the empty set. We show the Hanf number for the property: There is a model M_1 of T_1 which omits p, but M_1 restriction tau is saturated is at least the L{o}wenheim number of second order logic.


Back to the list of publications