Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Borel completeness of some ℵ₀-stable theories

100%

Laskowski M., Shelah S.

Fundamenta Mathematicae

2015

tom 229

nr 1

1-46

We study ℵ₀-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 λ-Borel completeness and prove that such theories are λ-Borel complete. Using this, we conclude that an ℵ₀-stable theory satisfies $I_{∞,ℵ₀}(T,λ) = 2^{λ}$ for all cardinals λ if and only if T either has eni-DOP or is eni-deep.

P-NDOP and P-decompositions of $ℵ_{ϵ}$-saturated models of superstable theories

100%

Shelah S., Laskowski M.

Fundamenta Mathematicae

2015

tom 229

nr 1

47-81

Given a complete, superstable theory, we distinguish a class P of regular types, typically closed under automorphisms of ℭ and non-orthogonality. We define the notion of P-NDOP, which is a weakening of NDOP. For superstable theories with P-NDOP, we prove the existence of P-decompositions and derive an analog of the first author's result in Israel J. Math. 140 (2004). In this context, we also find a sufficient condition on P-decompositions that implies non-isomorphic models. For this, we investigate natural structures on the types in P ∩ S(M) modulo non-orthogonality.

Ograniczanie wyników

2 Fundamenta Mathematicae

2 Laskowski M.

2 Shelah S.

2 2015

Wyniki wyszukiwania

Borel completeness of some ℵ₀-stable theories

P-NDOP and P-decompositions of $ℵ_{ϵ}$-saturated models of superstable theories