Hybrid Definability in Topological Spaces - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Hybrid Definability in Topological Spaces


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.
No file

Dates and versions

inria-00001207 , version 1 (05-04-2006)


  • 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⟩
38 View
0 Download


Gmail Facebook X LinkedIn More