搜索结果: 1-4 共查到“理学 stable theories”相关记录4条 . 查询时间(0.101 秒)
Borel completeness of some aleph_0 stable theories
Borel completeness some aleph_0 stable theories
font style='font-size:12px;'>
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
font style='font-size:12px;'>
2015/9/25
ω-stable theories: Do uncountable languages matter?
An old friend revisited: Countable models of ω-stable theories
Countable models ω-stable theories
font style='font-size:12px;'>
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 ...
Decompositions of saturated models of stable theories
saturated models stable theories
font style='font-size:12px;'>
2015/9/25
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.