MoL-2017-27: An Extensional Modified Realizability Topos

MoL-2017-27: de Vries, Mees (2017) An Extensional Modified Realizability Topos. [Report]

[thumbnail of MoL-2017-27.text.pdf]

Download (699kB) | Preview


In this thesis, we construct and investigate a topos for Kreisel’s modified realizability. The topos, like Kreisel’s modified realizability, is characterized by the axiom of choice in all finite types and the principle of independence of premise. The model is constructed by a general method known as the tripos-to-topos construction. It is closely related to an existing topos, constructed for a modification of modified realizability by Troelstra, usually also called modified realizability.
We pay special attention to the subcategory of our topos on ¬¬-separated objects, constructing it separately. This category is more accessible, and the logical features we look for in our topos are already present in this smaller category.

Item Type: Report
Report Nr: MoL-2017-27
Series Name: Master of Logic Thesis (MoL) Series
Year: 2017
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 19 Oct 2017 15:49
Last Modified: 19 Oct 2017 15:49

Actions (login required)

View Item View Item