A Hanf number for saturation and omission: the superstable case

DOI10.1002/MALQ.201300022MaRDI QIDQ2933743zbMATH OpenOpenAlexFDO

Authors John T. Baldwin, S. Shelah

Publication date 5 December 2014

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201300022

zbMATH Keywords

superstabilitysecond-order logicomitting typessaturated modelsHanf number

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Second- and higher-order model theory (03C85)

Recommendations

• A Hanf number for saturation and omission
• The Hanf number in the strictly stable case
• A note on the Hanf number of second-order logic
• Stability and omitting types
• On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\)

Cites work

• A Hanf number for saturation and omission
• Bounded orbits and measures on a group
• On ordinals accessible by infinitary languages
• Stability and omitting types

Cited in

(3)

• Shelah's eventual categoricity conjecture in universal classes. I.
• A Hanf number for saturation and omission
• The Hanf number in the strictly stable case

This page was built for publication: A Hanf number for saturation and omission: the superstable case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2933743)