Modal languages for topology: expressivity and definability

Simple item page
dc.creatorCate, Balder ten
dc.creatorGabelaia, David
dc.creatorSustretov, Dmitry
dc.date2006-10-11
dc.date2006-10-12
dc.date.accessioned2026-07-07T07:28:56Z
dc.date.available2026-07-07T07:28:56Z
dc.descriptionIn 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 $L_t$.
dc.descriptionmetadata corrected
dc.identifierhttps://arxiv.org/abs/math/0610357
dc.identifierhttp://arxiv.org/abs/math/0610357
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/117918
dc.subjectLogic
dc.subject03B45
dc.titleModal languages for topology: expressivity and definability
dc.typetext

Files

Collections

arXiv