MoL-2019-12: The van Benthem Characterisation Theorem for Descriptive Models

MoL-2019-12: Henke, Tim (2019) The van Benthem Characterisation Theorem for Descriptive Models. [Report]

[thumbnail of MoL-2019-12.text.pdf]
Preview
Text
MoL-2019-12.text.pdf

Download (978kB) | Preview

Abstract

This thesis investigate the modal and first-order model theory of the class of models over descriptive general frames. Descriptive general frames are Stone spaces with a suitable relation over which every modal logic is complete. The main theorem of this thesis is the van Benthem Characterisation Theorem for the class of descriptive general models. Moreover, a model-theoretic analysis is given to prove that many important results from classical model theory, including the Compactness Theorem for first-order logic and the upward Löwenheim-Skolem Theorem, fail on the class of descriptive general models. The main tool developed in this thesis is the descriptive unravelling, a version of the unravelling tree that is modified to be descriptive. A careful analysis of the operation is provided and three isomorphic constructions are given: a construction through duality theorems, a construction through a topological toolkit based on nets that is also developed, and an explicit construction in terms of finite and infinite paths.

Item Type: Report
Report Nr: MoL-2019-12
Series Name: Master of Logic Thesis (MoL) Series
Year: 2019
Subjects: Logic
Mathematics
Depositing User: Dr Marco Vervoort
Date Deposited: 19 Aug 2019 12:50
Last Modified: 19 Aug 2019 12:50
URI: https://eprints.illc.uva.nl/id/eprint/1702

Actions (login required)

View Item View Item