拓扑学的模态语言：表达能力与可定义性
摘要：拓扑空间上的模态语言的表达能力和可定义性研究——关于已建立的一阶拓扑语言$L_t$的van Benthem特征定理和Goldblatt-Thomason可定义性定理的拓扑类比
作者：Balder ten Cate (University of Amsterdam), David Gabelaia (Razmadze Mathematical Institute), Dmitry Sustretov (INRIA Lorraine - LORIA)
论文ID：math/0610357
分类：Logic
分类简称：math.LO
提交时间：2007-05-23