arXiv Analytics

Sign in

arXiv:1412.0428 [math.LO]AbstractReferencesReviewsResources

Hanf number for the strictly stable cases

Saharon Shelah

Published 2014-12-01Version 1

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).

Categories: math.LO
Subjects: 03C75, 03C45, 03C55, 03C50
Related articles: Most relevant | Search more
arXiv:1501.07316 [math.LO] (Published 2015-01-29)
The Joint Embedding Property and Maximal Models
arXiv:1102.5578 [math.LO] (Published 2011-02-28, updated 2015-12-24)
Existentially closed locally finite groups
arXiv:math/9201243 [math.LO] (Published 1991-01-15)
The Hanf numbers of stationary logic. II. Comparison with other logics

Links

Toolbox