首页 > 《数学研究》 > 2001年2期 > 逻辑L′ω1ω及其上的几个保持性定理

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

在线阅读下载PDF 导出详情

摘要在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

DOI 7j6eg30q40/1373042

作者童雪

机构地区不详

出处《数学研究》 2001年2期

关键词 пn语句常量引理保持性定理抽象模型论逻辑

分类 [理学][基础数学]

出版日期 2001年02月12日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1朴勇杰. FC-空间上的不动点定理和相交定理及其应用.基础数学,2010-03.
2薛怀玉. R~2上完备性定理的等价性.教育学,1998-06.
3邹泽民. 逻辑代数基本定理的证明.教育学,1999-04.
4admin. Peirce：逻辑代数中的几个符号及其它.文化科学,2019-10.
5admin. Peirce：逻辑代数中的几个符号及其它.文学,2009-09.
6张庆元;古志辉. 阿罗一般可能性定理与科斯定理的逻辑比较.高等教育学,2006-01.
7孟繁荣. 勾股定理及其逆定理.教育学,2009-03.
8刘金龙. 勾股定理及其逆定理的应用.教育学,2010-05.
9周奕生. 勾股定理及其逆定理的陷阱.教育学,2005-05.
10陈德前. 勾股定理及其逆定理的应用.教育学,2011-05.

来源期刊

数学研究

数学研究

相关推荐

同分类资源更多

相关关键词

пn语句常量引理保持性定理抽象模型论逻辑

返回顶部