MoL-2001-11: Modal definability in topology

MoL-2001-11: Gabelaia, David (2001) Modal definability in topology. [Report]

[img] Text (Full Text (PS))
MoL-2001-11.text.ps.gz

Download (193kB)
[img]
Preview
Text (Full Text (PDF))
MoL-2001-11.text.pdf

Download (279kB) | Preview
[img] Text (Abstract)
MoL-2001-11.abstract.txt

Download (581B)

Abstract

This thesis is mainly concerned with the definability issue when modal logic is interpreted on topological spaces. A topological analogon of Goldblatt-Thomason theorem is proved. Some new topological constructions are introduced. One of them, namely the notion of compact extension, is a generalization of the concept of Stone-Cech compactification known in topology. The preservation of modal validity with respect to suitable topological operations is presented.

Item Type: Report
Report Nr: MoL-2001-11
Series Name: Master of Logic Thesis (MoL) Series
Year: 2001
Uncontrolled Keywords: Modal Logic, semantics, topology, definability.
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/724

Actions (login required)

View Item View Item