A Hanf number for saturation and omission: the superstable case

DOI10.1002/malq.201300022zbMath1355.03027OpenAlexW2160652351MaRDI QIDQ2933743

John T. Baldwin, Saharon 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

second-order logicsaturated modelssuperstabilityomitting typesHanf number

Mathematics Subject Classification ID

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

Related Items (2)

Shelah's eventual categoricity conjecture in universal classes. I. ⋮ The Hanf number in the strictly stable case

Cites Work

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

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