逻辑L′ω1ω及其上的几个保持性定理

在线阅读 下载PDF 导出详情
摘要 在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.
作者 童雪
机构地区 不详
出处 《数学研究》 2001年2期
出版日期 2001年02月12日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献