搜索结果: 1-1 共查到“数理逻辑与数学基础 Three red herrings”相关记录1条 . 查询时间(0.125 秒)
We give a model theoretic proof that if there is a counterexample to Vaught’s conjecture there is a
counterexample such that every model of cardinality ℵ1 is maximal (strengthening a result of ...