Modal languages for topology: expressivity and definability
逻辑
2007-05-23 v2
摘要
In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason definability theorem in terms of the well established first-order topological language .
引用
@article{arxiv.math/0610357,
title = {Modal languages for topology: expressivity and definability},
author = {Balder ten Cate and David Gabelaia and Dmitry Sustretov},
journal= {arXiv preprint arXiv:math/0610357},
year = {2007}
}
备注
metadata corrected