摘要
通过接触代数,我们以一种统一的方式研究了亚拓扑理论,这清楚地将亚拓扑概念与拓扑概念分开。我们识别并公理化了闭包单拓扑(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日
数字对象标识符:10.1215/00294527-1731344
学科:
主要用户:68T27型
次要:06第15页,54甲10
关键词:补充,接触代数,单拓扑,空间可表示性
版权所有©2013圣母大学