期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
一类具有量词消去性质的偏序结构
被引量:
1
原文传递
导出
摘要
对具Q.E.性质的一阶理论,一个直观是:其模型中元素的分布是相当“均匀”而无“奇点”。在线性序场合,此直观对应于“稠密性且无端点”。拓广到偏序场合,下列一组公理看来是非常自然的(见文献[1]中引理6.7):
作者
沈恩绍
机构地区
北京师范大学数学系
出处
《科学通报》
EI
CAS
CSCD
北大核心
1992年第23期2113-2114,共2页
Chinese Science Bulletin
基金
Volkswagen公司资助
关键词
偏序
量词消去
分类号
O141.4 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
1
共引文献
0
同被引文献
1
引证文献
1
二级引证文献
0
参考文献
1
1
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
1
沈云付.
素数阶群理论的量词消去及复杂性[J]
.数学学报(中文版),2001,44(1):21-28.
被引量:1
引证文献
1
1
杜芬芬,陈国龙.
量词可消去的线性序理论[J]
.宿州学院学报,2017,32(10):96-98.
1
刘葵.
变换半群T_(SE)^(x0)(X)上的自然偏序[J]
.贵州师范大学学报(自然科学版),2014,32(4):52-55.
2
米泓颖.
格的序结构与代数结构[J]
.数学学习与研究,2015(7):117-117.
3
张颖,叶仲泉.
变动偏序结构下最优元的标量性刻画[J]
.西南师范大学学报(自然科学版),2015,40(5):6-9.
被引量:1
4
王礼萍,洪港,方晓超.
原子n≤3的布尔代数在R^1、R^2、R^3中的多项式方程表示形式[J]
.黑龙江大学自然科学学报,2014,31(5):613-618.
5
郑玉美.
一种泛多项式偏序上的格[J]
.湖北大学学报(自然科学版),1998,20(4):307-309.
6
宋雪丽,王绪柱.
模糊全序及偏序结构[J]
.模糊系统与数学,2006,20(3):47-53.
被引量:4
7
张奇业,樊磊,郑崇友.
一类Domain范畴及其笛卡儿闭子范畴[J]
.数学学报(中文版),2001,44(5):823-828.
被引量:9
8
徐克龙.
基于超序关系的风险决策方法[J]
.数学的实践与认识,2009,39(3):69-73.
9
李高明.
两指标强鞅的停止定理[J]
.武警工程学院学报,2002,18(6):1-4.
被引量:1
10
克劳斯·安博司比斯,王玮.
每一个非零的可计算可枚举强有界图灵度都具有反成杯性质(英文)[J]
.逻辑学研究,2012,5(3):1-10.
科学通报
1992年 第23期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部