MoL-2017-27: de Vries, Mees (2017) An Extensional Modified Realizability Topos. [Report]
Preview |
Text
MoL-2017-27.text.pdf Download (699kB) | Preview |
Abstract
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 Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 19 Oct 2017 15:49 |
| Last Modified: | 19 Oct 2017 15:49 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1568 |
Actions (login required)
 |
View Item |
