MoL-2018-36: Majorizability Types, Assemblies, and the Fan Theorem

MoL-2018-36: Gu, Tao (2018) Majorizability Types, Assemblies, and the Fan Theorem. [Report]

[thumbnail of MoL-2018-36.text.pdf]

Download (532kB) | Preview


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
Depositing User: Dr Marco Vervoort
Date Deposited: 02 Apr 2019 13:19
Last Modified: 02 Apr 2019 13:19

Actions (login required)

View Item View Item