MoL-2018-36: Gu, Tao (2018) Majorizability Types, Assemblies, and the Fan Theorem. [Report]
Preview |
Text
MoL-2018-36.text.pdf Download (532kB) | Preview |
Abstract
In this thesis we introduce the notion of majorizability types, and the category MMAsm of majorizability modified assemblies. The MMAsm has the vdBB model as the interpretation of finite types. The internal logic of MMAsm captures certain version of modified realizability. Besides, both the Special Fan Functional and the Fan Recursor provably exist in the internal logic of MMAsm. Therefore the Fan Theorem holds in MMAsm. And this provides a computational and categorical justification of the Fan Theorem.
Item Type: | Report |
---|---|
Report Nr: | MoL-2018-36 |
Series Name: | Master of Logic Thesis (MoL) Series |
Year: | 2018 |
Subjects: | Logic Mathematics |
Depositing User: | Dr Marco Vervoort |
Date Deposited: | 02 Apr 2019 13:19 |
Last Modified: | 02 Apr 2019 13:19 |
URI: | https://eprints.illc.uva.nl/id/eprint/1671 |
Actions (login required)
View Item |