Doat, Joël André (2021):
Reyes’ Topos of Reference and Modality from a fibrational Perspective. (Publisher's Version)
Darmstadt, Technische Universität, DOI: 10.26083/tuprints-00019501,
[Master Thesis]
|
Text
Doat_Masterthesis_final.pdf Copyright Information: CC BY 4.0 International - Creative Commons, Attribution. Download (996kB) | Preview |
Item Type: | Master Thesis |
---|---|
Status: | Publisher's Version |
Title: | Reyes’ Topos of Reference and Modality from a fibrational Perspective |
Language: | English |
Abstract: | This thesis is a reworked version of Reyes’ topos-theoretic approach to reference and modality. His theory provides the semantics for modal higher-order theory language using the image of the base topos in a geometric morphism. Additionally, by following Streicher's recap on fibered categories, this "geometric model" can be grounded on a more logical structure. |
Place of Publication: | Darmstadt |
Collation: | 54 Seiten |
Classification DDC: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
Divisions: | 04 Department of Mathematics > Logic |
Date Deposited: | 25 Oct 2021 12:02 |
Last Modified: | 19 Sep 2022 10:04 |
DOI: | 10.26083/tuprints-00019501 |
URN: | urn:nbn:de:tuda-tuprints-195011 |
URI: | https://tuprints.ulb.tu-darmstadt.de/id/eprint/19501 |
PPN: | 487412060 |
Export: |
![]() |
View Item |