×

实平面上闭半代数集的拓扑初等等价。 (英语) Zbl 0974.03038号

作者研究了实平面子集(S)的拓扑性质,这些子集用实数语言中的一阶句子表示,实数语言用二元关系符号(S)进行扩充。如果两个集具有相同的一阶拓扑性质,则称其为拓扑基本等价集。实平面的子集在实结构中可以定义为实上的二元关系,它们是半代数集。作者主要关注的是拓扑闭半代数集及其拓扑等价的条件。

MSC公司:

03C98号 模型理论的应用
第14页 半代数集和相关空间
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 第15届ACM数据库系统原理研讨会会议记录第17页–(1996)
[2] 初等代数和几何的判定方法(1951)
[3] 数学基础81 pp 159–(1974)
[4] 内政部:10.1007/BFb0062252·doi:10.1007/BFb0062252
[5] 量词消除和柱面代数分解(1998)·Zbl 0900.03052号
[6] Géométrie algébrique réelle(1987)
[7] 第16届ACM数据库系统原理研讨会论文集第87页–(1997)
[8] 第11届IEEE计算机科学逻辑研讨会论文集第25页–(1996)
[9] 第15届ACM数据库系统原理研讨会会议记录第5页–(1996)
[10] 内政部:10.1016/0004-3702(88)90049-5·Zbl 0705.68086号 ·doi:10.1016/0004-3702(88)90049-5
[11] 符号计算杂志13 pp 255–(1989)
[12] 一阶拓扑结构与理论52 pp 763–(1987)·Zbl 0628.03022号
[13] 第10届IEEE计算机科学逻辑研讨会论文集第79页-(1995)
[14] 尺寸2和3的几何拓扑47(1977年)·Zbl 0349.57001号
[15] 内政部:10.1007/3-540-60178-3_96·doi:10.1007/3-540-60178-396
[16] DOI:10.1016/S0304-3975(96)00194-6·Zbl 0902.68044号 ·doi:10.1016/S0304-3975(96)00194-6
[17] 拓扑模型理论769(1980)
[18] 有限模型理论(1995)
[19] 结理论导论57(1977)
[20] 经典拓扑与组合群论72(1980)·Zbl 0453.57001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。