Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 807

Preprint Number 807

Previous Next Preprint server

807. Saharon Shelah
Hanf number for the strictly stable cases

Submission date: 1 December 2014.


Suppose t = (T,T_1, p) is a triple of two theories in vocabularies tau subset tau_1 of cardinality lambda and a tau_1-type p over the empty set; here we fix T and assume it is stable. We show the Hanf number for the property: “there is a model M_1 of T_1 which omits p, but M_1 restricted to tau is saturated” is larger than the Hanf number of L_{lambda^+, kappa} but smaller than the Hanf number of L_{(2^lambda)^+, kappa} when T is stable with kappa = kappa(T).

Mathematics Subject Classification: 03C75, 03C45, 03C55, 03C50

Keywords and phrases:

Full text arXiv 1412.0428: pdf, ps.

Last updated: December 2 2014 11:13 Please send your corrections to: