搜索结果: 1-3 共查到“数理逻辑与数学基础 REVISITED”相关记录3条 . 查询时间(0.109 秒)
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 ...
The main goal of this article is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result of Vereshchagin saying that $\limsup_n C(x|n)$...
Lee, in a series of papers, described a unified formulation of the statistical thermodynamics of ideal quantum gases in terms of the polylogarithm functions, $\textup{Li}_{s} (z)$. It is aimed here to...