Density of uniqueness triples from the diamond axiom

arXiv1804.10952MaRDI QIDQ6300952FDOQ6300952

Authors: Ari Meir Brodsky, Adi Jarden 

Publication date: 29 April 2018

Abstract: We work with a pre-$lambda$-frame, which is an abstract elementary class (AEC) endowed with a collection of basic types and a non-forking relation satisfying certain natural properties with respect to models of cardinality $lambda$. We investigate the density of uniqueness triples in a given pre-$lambda$-frame $mathfraks$, that is, under what circumstances every basic triple admits a non-forking extension that is a uniqueness triple. Prior results in this direction required strong hypotheses on $mathfraks$. Our main result is an improvement, in that we assume far fewer hypotheses on $mathfraks$. In particular, we do not require $mathfraks$ to satisfy the extension, uniqueness, stability, or symmetry properties, or any form of local character, though we do impose the amalgamation and stability properties in $lambd{a}^{+}$, and we do assume $diamondsuit(lambd{a}^{+})$. As a corollary, by applying our main result to the trivial $lambda$-frame, it follows that in any AEC $mathbfK$ satisfying modest hypotheses on $mathbf{K}_{l}ambda$ and $mathbf{K}_{lambd{a}^{+}}$, the set of $\ast$-domination triples in $mathbf{K}_{l}ambda$ is dense among the non-algebraic triples. We also apply our main result to the non-splitting relation, obtaining the density of uniqueness triples from very few hypotheses.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Abstract elementary classes and related topics (03C48) Set-theoretic model theory (03C55) Other set-theoretic hypotheses and axioms (03E65) Applications of set theory (03E75)

This page was built for publication: Density of uniqueness triples from the diamond axiom

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