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

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 |