搜索结果: 1-1 共查到“数理逻辑与数学基础 old”相关记录1条 . 查询时间(0.082 秒)
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 ...