MoL-2016-06: Logics for Compact Hausdorff Spaces via de Vries Duality

MoL-2016-06: Santoli, Thomas (2016) Logics for Compact Hausdorff Spaces via de Vries Duality. [Report]

[img]
Preview
Text (Full Text)
MoL-2016-06.text.pdf

Download (933kB) | Preview
[img] Text (Abstract)
MoL-2016-06.abstract.txt

Download (1kB)

Abstract

In this thesis, we introduce a finitary logic which is sound and complete with respect to de Vries algebras, and hence by de Vries duality, this logic can be regarded as logic of compact Hausdorff spaces. In order to achieve this, we first introduce a system S which is sound and complete with respect to a wider class of algebras. We will also define Π2 -rules and establish a connection between Π2-rules and inductive classes of algebras, and we provide a criterion for establishing when a given Π2-rule is admissible in S. Finally, by adding two particular rules to the system S, we obtain a logic which is sound and complete with respect to de Vries algebras. We also show that these two rules are admissible in S, hence S itself can be regarded as the logic of compact Hausdorff spaces. Moreover, we define Sahlqvist formulas and rules for our language, and we give Sahlqvist correspondence results with respect to semantics in pairs (X, R) where X is a Stone space and R a closed binary relation. We will compare this work with existing literature.

Item Type: Report
Report Nr: MoL-2016-06
Series Name: Master of Logic Thesis (MoL) Series
Year: 2016
Uncontrolled Keywords: logic, mathematics
Subjects: Logic
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/978

Actions (login required)

View Item View Item