期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
量词可消去的线性序理论
下载PDF
职称材料
导出
摘要
量词消去法在模型论的证明中是应用很广的一种方法。本文主要讨论在语言L=<,{0}上的有首元但无末元的稠密线性序理论T和在语言L_0={<}上的无末元离散线性序理论T_0的量词可消去性,及其在扩充语言L_1=S,{<}下理论T0的量词消去性。
作者
杜芬芬
陈国龙
机构地区
淮北师范大学数学科学学院
宿州学院
出处
《宿州学院学报》
2017年第10期96-98,共3页
Journal of Suzhou University
基金
安徽省高校自然科学研究重大项目(KJ2014ZD31)
关键词
稠密
离散
线性序
量词消去
分类号
O158 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
3
参考文献
2
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
2
1
沈云付.
素数阶群理论的量词消去及复杂性[J]
.数学学报(中文版),2001,44(1):21-28.
被引量:1
2
沈恩绍.
一类具有量词消去性质的偏序结构[J]
.科学通报,1992,37(23):2113-2114.
被引量:1
二级参考文献
3
1
Lo Libo,Ann Pure Appl Logic,1988年,37卷,205页
2
Chistov A L,Lecture Notes in Computer Science.176,1984年,176卷,17页
3
J. A. Makowsky,S. Shelah. The theorems of beth and Craig in abstract model theory II. Compact logics[J] 1981,Archiv für Mathematische Logik und Grundlagenforschung(1):13~35
1
胡浩.
设而不求,巧解高中数学题[J]
.语数外学习(高中版)(中),2017,0(2):34-34.
2
李奕达,闫海峰,习子文,吴冰芝.
基于格序理论的城市轨道交通线网建设时序模型[J]
.交通运输工程与信息学报,2017,15(4):53-60.
被引量:2
3
周燕,吴舜.
不同血糖控制水平对T2DM患者血管病变的影响[J]
.海南医学,2018,29(1):71-73.
4
田卫东.
方法源于教材,规律在于发现——记一道教材习题的探究过程和教学思考[J]
.数学教学研究,2017,0(11):40-43.
5
郑毅,郑苹.
结合Simulink的信号与系统仿真教学[J]
.高师理科学刊,2017,37(9):89-93.
6
于瑞华,成央金.
直觉模糊多属性的意见集中排序法[J]
.运筹与管理,2018,27(1):59-62.
被引量:4
7
秦旭东.
用设参法解函数问题(初三)[J]
.数理天地(初中版),2017,0(12):14-14.
8
陈莉霞.
例析用几何法求解数量积的取值范围[J]
.中学数学教学参考,2017,0(7X):53-54.
9
袁箭卫.
简单函数方程的又一些初等解法[J]
.中学数学教学参考,1994(4):32-33.
10
解延安,李炳照.
基于线性正则变换的非均匀采样信号重构方法[J]
.北京理工大学学报,2017,37(11):1183-1189.
被引量:2
宿州学院学报
2017年 第10期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部