Borel completeness of some _0-stable theories

DOI10.4064/FM229-1-1MaRDI QIDQ5499006zbMATH OpenOpenAlexFDO

Authors S. Shelah, M. C. Laskowski

Publication date 11 February 2015

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

\(\aleph_0\)-stable theoryBorel completeBorel reducibility

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Descriptive set theory (03E15)

Abstract: We study aleph_0-stable theories, and prove that if T either has eni-DOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of lambda-Borel completeness and prove that such theories are lambda-Borel complete. Using this, we conclude that an aleph_0-stable theory has 2^lambda pairwise non-L(infinity,aleph_0) equivalent models of size lambda for all infinite cardinals lambda if and only if T either has eni-DOP or is eni-deep.

Recommendations

• An old friend revisited: countable models of \(\omega\)-stable theories
• Comparing Borel reducibility and depth of an \(\omega\)-stable theory
• A complicated -stable depth 2 theory
• Borel structures and Borel theories
• A generalized Borel-reducibility counterpart of Shelah's main gap theorem

Cites work

• \(\mathbf P\)-NDOP and \(\mathbf P\)-decompositions of \(\aleph_{\epsilon} \)-saturated models of superstable theories
• A Borel reductibility theory for classes of countable structures
• A proof of Vaught's conjecture for \(\omega\)-stable theories
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• An old friend revisited: countable models of \(\omega\)-stable theories
• Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory
• Comparing Borel reducibility and depth of an \(\omega\)-stable theory
• Countable models of nonmultidimensional ℵ₀-stable theories
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• On the number of non-almost isomorphic models of T in a power

Cited in

(11)

• The isomorphism relation of theories with S-DOP in the generalised Baire spaces
• Parallel approach to the Levenberg-Marquardt learning algorithm for feedforward neural networks
• Relative Pfaffian closure for definably complete Baire structures
• The complexity of isomorphism for complete theories of linear orders with unary predicates
• \(\mathbf P\)-NDOP and \(\mathbf P\)-decompositions of \(\aleph_{\epsilon} \)-saturated models of superstable theories
• MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS
• Characterizing the existence of a Borel complete expansion
• A Silver-like perfect set theorem with an application to Borel model theory
• Torsion-free abelian groups are Borel complete
• Comparing Borel reducibility and depth of an \(\omega\)-stable theory
• An old friend revisited: countable models of \(\omega\)-stable theories

This page was built for publication: Borel completeness of some \(\aleph_{0}\)-stable theories

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