开放式访问
2013 区域空间表征理论的补充
托尔斯滕·哈曼,迈克尔·格里宁格
圣母院J.形式逻辑 54(2): 177-214 (2013). 内政部:10.1215/00294527-1731344

摘要

通过接触代数,我们以一种统一的方式研究了亚拓扑理论,这清楚地将亚拓扑概念与拓扑概念分开。我们识别并公理化了闭包单拓扑(CMT)的一个重要子类,称为唯一闭包拓扑(UCMT),其模型始终具有正交互补接触代数(OCA),这是一个代数对应物。MT-可表示性是空间可表示性的一种弱形式,但比拓扑可表示性强,这一概念足以证明空间可表示的完全OCA是伪补的,并且满足Stone恒等式。在所得到的接触代数类中,代数互补的强度根据在mereological闭包操作和拓扑闭包操作之间的关键本体选择划分了两类mereotopology。当且仅当相应的接触代数是唯一可补的,而拓扑闭包运算高度限制了接触关系,但不允许存在唯一可补和非分布的接触代数时,所有闭包运算都是按数学定义的。每个类都包含一个独立的本体论连贯理论,该理论允许离散模型。

引用

下载引文

托尔斯滕·哈曼。 迈克尔·格里宁格(Michael Grüninger)。 “基于区域的空间的可表示理论的补充” 圣母院J.形式逻辑 54 (2) 177 - 214, 2013 https://doi.org/10.1215/00294527-1731344

问询处

发布日期:2013
首次在欧几里德项目中提供:2013年2月21日

zbMATH公司:1262.68164
数学科学网:邮编3028795
数字对象标识符:10.1215/00294527-1731344

学科:
主要用户:68T27型
次要:06第15页,54甲10

关键词:补充,接触代数,单拓扑,空间可表示性

版权所有©2013圣母大学

第54卷•第2期•2013
返回页首