The joint embedding property and maximal models

DOI10.1007/S00153-016-0480-0zbMATH Open1436.03190DBLPjournals/aml/BaldwinKS16arXiv1501.07316OpenAlexW1480068463WikidataQ59166139 ScholiaQ59166139MaRDI QIDQ283129FDOQ283129

Authors: John T. Baldwin, Martin Koerwien, Ioannis Souldatos 

Publication date: 13 May 2016

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(lambd{a}_i:ilealpha<alep{h}_1)$ is a strictly increasing sequence of characterizable cardinals (Definition 2.1) whose models satisfy JEP$(<lambd{a}_0)$, there is an $L_{omeg{a}_1,omega}$ -sentence $psi$ whose models form a pure AEC and (1) The models of $psi$ satisfy JEP$(<lambd{a}_0)$, while JEP fails for all larger cardinals and AP fails in all infinite cardinals. (2) There exist $2^{lambd{a}_i^{+}}$ non-isomorphic maximal models of $psi$ in $lambd{a}_i^{+}$, for all $ilealpha$, but no maximal models in any other cardinality; and (3) $psi$ has arbitrarily large models. In particular this shows the Hanf number for JEP and the Hanf number for maximality for pure AEC with Lowenheim number $alep{h}_0$ are at least $$. We show that although AP$(kappa)$ for each $kappa$ implies the full amalgamation property, JEP$(kappa)$ for each kappa does not imply the full joint embedding property. We show the main combinatorial device of this paper cannot be used to extend the main theorem to a complete sentence.

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

Recommendations

• A.e.c. with not too many models
• The amalgamation spectrum
• Uniqueness of limit models in classes with amalgamation
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• Hanf numbers via accessible images

zbMATH Keywords

amalgamationabstract elementary classcharacterizable cardinalsHanf number for joint embeddingjoint embeddingmaximal models

Mathematics Subject Classification ID

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

Cites Work

• Categoricity for abstract classes with amalgamation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tameness from large cardinal axioms
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• Beyond first order logic: from number of structures to structure of numbers. I
• Beyond first order logic: from number of structures to structure of numbers. II
• Three red herrings around Vaught's conjecture
• THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES
• Title not available (Why is that?)
• Hanf numbers and presentation theorems in AECs
• Title not available (Why is that?)

Cited In (13)

• A lower bound for the Hanf number for joint embedding
• Hanf number of the first stability cardinal in AECs
• Maximal models up to the first measurable in ZFC
• Deciding atomicity of subword-closed languages
• Title not available (Why is that?)
• Maximally embeddable components
• An iterated Azéma-Yor type embedding for finitely many marginals
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities
• Optimal embedding of Meyer sets into model sets
• Hanf numbers for extendibility and related phenomena
• Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences
• Non-absoluteness of model existence at \(\aleph_\omega \)

This page was built for publication: The joint embedding property and maximal models

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