PP-2005-14: Hybrid Definability in Topological Spaces

PP-2005-14: Sustretov, Dmitry (2005) Hybrid Definability in Topological Spaces. [Report]

[img]
Preview
Text (Full Text)
PP-2005-14.text.pdf

Download (218kB) | Preview
[img] Text (Abstract)
PP-2005-14.abstract.txt

Download (675B)

Abstract

We present some results concerning definability of classes of topological spaces in hybrid languages. We use language $L_t$ described in Flum and Ziegler's monograph "Topological Model Theory" to establish notion of ``elementarity'' for classes of topological spaces. We use it to prove the analogue of Goldblatt-Thomason theorem in topological spaces for hybrid languages $H(E)$ and $H(@)$. We also prove a theorem that allows to reformulate definability result of Gabelaia for modal logic in terms of elementary topological space classes.

Item Type: Report
Report Nr: PP-2005-14
Series Name: Prepublication (PP) Series
Year: 2005
Uncontrolled Keywords: hybrid logic, topology, definability, correspondence
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/159

Actions (login required)

View Item View Item