期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
逻辑L′ω_1ω及其上的几个保持性定理 被引量:1
1
作者 童雪 《数学研究》 CSCD 2001年第2期187-192,共6页
在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理 .
关键词 пn语句 常量引理 保持性定理 抽象模型论 逻辑
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部