期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
ζ_(ω_1ω)语言格值模型论的Malitz插值定理
原文传递
导出
摘要
本文利用和谐性质的方法,证明了ζ_(ω_1ω)语言格值模型论的Malitz插值定理,并给出了有意义的应用。
作者
别荣芳
机构地区
北京师范大学数学系
出处
《数学学报(中文版)》
SCIE
CSCD
北大核心
1997年第4期505-510,共6页
Acta Mathematica Sinica:Chinese Series
基金
国家教委博士点基金
关键词
Lω1ω语言
和谐性质
格值模型论
Malitz插值
分类号
O141.4 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
5
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
5
1
王世强,第一次逻辑学术交流会论文集,1989年
2
王世强,Adv Sci Chin Math,1987年,2卷,73页
3
沈复兴,博士学位论文,1985年
4
王世强,科学通报,1981年,26卷,2期,71页
5
王世强,北京师范大学学报,1980年,16卷,3/4期,25页
1
应明生.
关于格值模型论中的条件(F′_1)和(F′_2)[J]
.江西师范大学学报(自然科学版),1991,15(4):291-293.
2
邹生书.
圆锥曲线“伴侣点”的一个和谐性质[J]
.中学数学教学,2009(2):40-40.
被引量:7
3
孙晓蓝.
和谐性质及其应用Ⅰ[J]
.北京科技大学学报,1989,11(4):382-387.
被引量:2
4
张玉平.
研究格值模型论的一种新方法[J]
.北京师范大学学报(自然科学版),1992,28(4):420-425.
5
孙晓蓝.
和谐性质及其应用Ⅱ[J]
.北京科技大学学报,1990,12(5):495-498.
6
童雪,别荣芳.
有限可补格上的一阶格值逻辑几个性质[J]
.数学学报(中文版),2007,50(6):1243-1248.
7
童雪,别荣芳.
数理逻辑与数学基础有限可补格上的一阶格值逻辑几个性质[J]
.中国学术期刊文摘,2008,14(9):10-10.
8
秦克云,徐扬,宋振明.
FM逻辑的紧致性与Lwenheim-Skolem性[J]
.科学通报,1998,43(4):371-375.
9
谢惠扬,王捍贫.
(Q)格值模型论的紧致性定理[J]
.安徽师大学报,1996,19(1):12-16.
被引量:1
10
王捍贫,谢惠扬.
(Q)格值模型的省略型定理[J]
.北京大学学报(自然科学版),1999,35(3):409-413.
被引量:1
数学学报(中文版)
1997年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部