A Hanf number for saturation and omission: the superstable case

DOI10.1002/MALQ.201300022zbMATH Open1355.03027OpenAlexW2160652351MaRDI QIDQ2933743FDOQ2933743

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

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

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)

Cites Work

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

Cited In (3)

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

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)