|
|||||
|
|
| 关于■o■和Suszko《論模型的扩充(Ⅳ)》一文之若干修正和簡化——数学基础閱讀札記之一 | |
| 引用本文： | 高恆珊.关于■o■和Suszko《論模型的扩充(Ⅳ)》一文之若干修正和簡化——数学基础閱讀札記之一[J].数学进展,1963(4). |
| 作者姓名： | 高恆珊 |
| 作者单位： | 中国科学技术大学 |
| 摘 要： | 设■为模型的初等可定义类.类■称为σ类,如果对于■中任一增长的模型序列{■_n},n=1,2,…,无穷和■仍属于■.J.■在1]中曾提出如下猜测:一可定义类■为σ类之充要条件为■可由一语句集公理化. |
| 本文献已被 CNKI 等数据库收录！ | |