HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Hybrid Definability in Topological Spaces

Dmitry Sustretov 1
1 LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We present some results concerning the definability of classes of topological spaces in hybrid languages. We use the language $L_t$ described in Flum and Ziegler's monograph "Topogical Model Theory" to establish the notion of "elementarity'' for classes of topological spaces. We use it to prove the analogue of the Goldblatt-Thomason theorem in topological spaces for hybrid languages $H(E)$ and $H(@)$. We also prove a theorem that allows us to reformulate the definability result of Gabelaia (given in his Mater's thesis) for modal logic in terms of elementary topological space classes.
Document type :
Conference papers
Complete list of metadata

Contributor : Agnès Vidard Connect in order to contact the contributor
Submitted on : Wednesday, April 5, 2006 - 2:55:57 PM
Last modification on : Friday, February 4, 2022 - 3:21:54 AM


  • HAL Id : inria-00001207, version 1



Dmitry Sustretov. Hybrid Definability in Topological Spaces. 17th European Summer School in Logic, Language and Information - ESSLLI'05, Aug 2005, Edimbourg/Grande Bretagne. ⟨inria-00001207⟩



Record views