Density of uniqueness triples from the diamond axiom

MaRDI QIDQ6300952zbMATH OpenFDO

Authors Ari Meir Brodsky, Adi Jarden

Publication date 29 April 2018

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)

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.

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)