首页
期刊导航
期刊检索
论文检索
新闻中心
期刊
期刊
论文
首页
>
《数学研究》
>
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.
4
admin.
Peirce:逻辑代数中的几个符号及其它
.文化科学,2019-10.
5
admin.
Peirce:逻辑代数中的几个符号及其它
.文学,2009-09.
6
张庆元;古志辉.
阿罗一般可能性定理与科斯定理的逻辑比较
.高等教育学,2006-01.
7
孟繁荣.
勾股定理及其逆定理
.教育学,2009-03.
8
刘金龙.
勾股定理及其逆定理的应用
.教育学,2010-05.
9
周奕生.
勾股定理及其逆定理的陷阱
.教育学,2005-05.
10
陈德前.
勾股定理及其逆定理的应用
.教育学,2011-05.
来源期刊
数学研究
2001年2期
相关推荐
几个压缩映象不动点定理
Hahn-Banach定理的几个应用
正整数分拆的几个定理
关于积分上限函数的几个定理
GFE(L)-1型二次测风雷达的几个故障实例分析
同分类资源
更多
[基础数学]
Approximation Properties For Modified Kantorovich-Type Operators
[基础数学]
New Double Integrals Weighted Cebysev Type Inequalities
[基础数学]
树指标马氏链的若干性质
[基础数学]
一类具隔离和时滞的肺结核模型的稳定性分析
[基础数学]
2005年海南省(课改区域)中考数学科模拟试题(一)
相关关键词
пn语句
常量引理
保持性定理
抽象模型论
逻辑
返回顶部