|
|||||
|
|
| 对罗里波同志《强不可接近基数上P(K)的插入定理》一文的一些看法 | |
| 引用本文： | 高恒珊.对罗里波同志《强不可接近基数上P(K)的插入定理》一文的一些看法[J].数学研究及应用,1983,3(4):133-134. |
| 作者姓名： | 高恒珊 |
| 作者单位： | 中国科技大学研究生院 |
| 摘 要： | 在文1]中罗里波证明了如下结果:设K为一强不可达(即strongly inaccessible,在1]中译作“强不可接近”)基数,则无穷长命题演算P(K)遵守内插定理(即interpolation theorem,在1)中译作“插入定理”)。这个结果与Friedman3]中的一项未经发表的结果一起便解决了Friedman在2]中提出的102个数理逻辑问题中的第24问题的一个方面 |
| 收稿时间： | 1983/3/14 0:00:00 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 | |
| 点击此处可从《数学研究及应用》下载免费的PDF全文 | |