A Hanf number for saturation and omission

DOI10.4064/fm213-3-5zbMath1254.03072OpenAlexW1993961781MaRDI QIDQ3018118

Saharon Shelah, John T. Baldwin

Publication date: 21 July 2011

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm213-3-5

zbMATH Keywords

second-order logicsaturated modelsomitting typesHanf number

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Properties of classes of models (03C52)

Related Items (3)

A Hanf number for saturation and omission: the superstable case ⋮ The Hanf number in the strictly stable case ⋮ Bounded orbits and measures on a group

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