Hanf numbers and presentation theorems in AECs

zbMATH Open1433.03080arXiv1511.02935MaRDI QIDQ5221586FDOQ5221586

Will Boney, John T. Baldwin

Publication date: 2 April 2020

Abstract: We prove that a strongly compact cardinal is an upper bound for a Hanf number for amalgamation, etc. in AECs using both semantic and syntactic methods. To syntactically prove non-disjoint amalgamation, a different presentation theorem than Shelah's is needed. This relational presentation theorem has the added advantage of being {it functorial}, which allows the transfer of amalgamation.

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

Recommendations

• Hanf numbers via accessible images
• THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES
• The Hanf number in the strictly stable case
• Hanf number for Scott sentences of computable structures
• Categoricity for abstract classes with amalgamation

Mathematics Subject Classification ID

Abstract elementary classes and related topics (03C48) Set-theoretic model theory (03C55) Large cardinals (03E55)

Cited In (11)

• A lower bound for the Hanf number for joint embedding
• Categoricity and multidimensional diagrams
• Maximal models up to the first measurable in ZFC
• The Hanf number in the strictly stable case
• The joint embedding property and maximal models
• Hanf numbers for extendibility and related phenomena
• Sizes and filtrations in accessible categories
• Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences
• Structural logic and abstract elementary classes with intersections
• Axiomatizing AECs and applications
• Complete Lω1,ω‐sentences with maximal models in multiple cardinalities

This page was built for publication: Hanf numbers and presentation theorems in AECs

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