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

https://hal.inria.fr/inria-00001207
Contributor : Agnès Vidard <>
Submitted on : Wednesday, April 5, 2006 - 2:55:57 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00001207, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

78