Sh:958

• Baldwin, J. T., & Shelah, S. (2011). A Hanf number for saturation and omission. Fund. Math., 213(3), 255–270. DOI: 10.4064/fm213-3-5 MR: 2822421
• Abstract:
  Suppose \mathbf 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öwenheim number of second order logic.
• Version 2011-05-23_11 (15p) published version (16p)

@article{Sh:958,
 author = {Baldwin, John T. and Shelah, Saharon},
 title = {{A Hanf number for saturation and omission}},
 journal = {Fund. Math.},
 fjournal = {Fundamenta Mathematicae},
 volume = {213},
 number = {3},
 year = {2011},
 pages = {255--270},
 issn = {0016-2736},
 mrnumber = {2822421},
 mrclass = {03C52 (03C85)},
 doi = {10.4064/fm213-3-5}
}