# Sh:958

• Baldwin, J. T., & Shelah, S. (2011). A Hanf number for saturation and omission. Fund. Math., 213(3), 255–270.
• 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.
• Current version: 2011-05-23_10 (15p) 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}
}