搜索结果: 1-4 共查到“理学 stable theories”相关记录4条 . 查询时间(0.062 秒)
Borel completeness of some aleph_0 stable theories
Borel completeness some aleph_0 stable theories
2015/9/25
We study ℵ0-stable theories, and prove that if T either has eniDOP
or is eni-deep, then its class of countable models is Borel complete.
We introduce the notion of λ-Borel completeness and pro...
ω-stable theories: Do uncountable languages matter?
ω-stable theories uncountable languages matter
2015/9/25
ω-stable theories: Do uncountable languages matter?
An old friend revisited: Countable models of ω-stable theories
Countable models ω-stable theories
2015/9/25
We work in the context of ω-stable theories. We obtain a natural,
algebraic equivalent of ENI-NDOP and discuss recent joint proofs with
S. Shelah that if an ω-stable theory has either ENI-DOP or is ...
We characterize the stable theories T for which the saturated
models of T admit decompositions. In particular, we show that
countable, shallow, stable theories with NDOP have this property.