Thesis

Arboreal covers over relational structures

Abstract:: Model comparison games are an important tool in both finite and unrestricted model theory to prove when two structures satisfy the same sentences in a logic. Game comonads encode particular model comparison games as comonads on the categories of structures. This started with the work of Abramsky, Dawar, and Wang in 2017 on encoding pebble games for finite variable logics. Since this initial work, several examples of comonads have been engineered to capture a wide-range of logics relevant ...
Expand abstract
Collapse abstract

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Shah, N. A. (2024). Arboreal covers over relational structures [PhD thesis]. University of Oxford.

MLA Style

Shah, N. A. Arboreal Covers over Relational Structures. University of Oxford, 2024.

Chicago Style

Shah, NA. 2024. “Arboreal Covers over Relational Structures.” PhD thesis, University of Oxford.
Share
Print

Access Document

Files:: Shah_2024_Arboreal_Covers_over.pdf

(Preview, Dissemination version, pdf, 1.1MB, Terms of use)

Authors

+ Shah, NA More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Role:: Author

Contributors

Role:: Supervisor
ORCID:: 0000-0003-3921-6637

Role:: Supervisor

+ DeepMind (United Kingdom) More from this funder

Funder identifier:: https://ror.org/00971b260
Programme:: Oxford DeepMind Graduate Scholarship/EPSRC Doctoral Training Partnership

DOI:: 10.5287/ora-e9knye9z7
Type of award:: DPhil
Level of award:: Doctoral
Awarding institution:: University of Oxford

Language:: English
Keywords:: treewidth

category theory

arboreal category

game comonads

pebble games

finite model theory

distributive laws
Subjects:: Logic, Symbolic and mathematical

Mathematics
Deposit date:: 2025-05-27

Terms of use

Copyright holder:: Nihil Shah
Copyright date:: 2024

Licence:: CC Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND) 3.0

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP