# 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. - published version (16p)

Bib entry

@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} }