一类具有量词消去性质的偏序结构被引量：1

原文传递

导出

摘要对具Q.E.性质的一阶理论,一个直观是:其模型中元素的分布是相当“均匀”而无“奇点”。在线性序场合,此直观对应于“稠密性且无端点”。拓广到偏序场合,下列一组公理看来是非常自然的(见文献[1]中引理6.7):

作者沈恩绍

机构地区北京师范大学数学系

出处《科学通报》 EI CAS CSCD 北大核心 1992年第23期2113-2114,共2页 Chinese Science Bulletin

基金 Volkswagen公司资助

关键词偏序量词消去

参考文献1

1J. 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刘葵.变换半群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期

内容加载中请稍等...