PP-2005-14: Sustretov, Dmitry (2005) Hybrid Definability in Topological Spaces. [Report]
Preview |
Text (Full Text)
PP-2005-14.text.pdf Download (218kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
