Maximal models up to the first measurable in ZFC

DOI10.1142/S0219061322500118MaRDI QIDQ6146539zbMATH OpenOpenAlexFDO

Authors John T. Baldwin, S. Shelah

Publication date 31 January 2024

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

Full work available at URL https://arxiv.org/abs/2111.01709

zbMATH Keywords

\( L_{\omega_1\omega}\)Hanf numbermeasurable cardinal

Mathematics Subject Classification ID

Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Other infinitary logic (03C75)

Abstract: Theorem: There is a {em complete sentence} $phi$ of $L_{omeg{a}_1,omega}$ such that $phi$ has maximal models in a set of cardinals $lambda$ that is cofinal in the first measurable $mu$ while $phi$ has no maximal models in any $chigeqmu$.

Cites work

• Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities
• Hanf numbers and presentation theorems in AECs
• Hanf numbers for extendibility and related phenomena
• How rigid are reduced products?
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 3269854 (Why is no real title available?)
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• Large cardinal axioms from tameness in AECs
• Ordered black boxes: existence
• The amalgamation spectrum
• THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES
• The joint embedding property and maximal models

This page was built for publication: Maximal models up to the first measurable in ZFC

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