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