MoL-2026-11: Hu, Zhaorui (2026) A topos for monotone modified realizability using arrow algebras. [Report]
Preview |
Text
MoL-2026-11.text.pdf - Published Version Download (729kB) | Preview |
Abstract
We use arrow algebras to construct a topos for monotone modified realizability. We also define a category of assemblies that characterizes the ¬¬-separated objects in the topos. We discuss common logical principles, including independence of premise, the axiom of choice, and the existence of the Fan recursor, in our topos.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2026-11 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2026 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 27 Jul 2026 12:49 |
| Last Modified: | 27 Jul 2026 12:57 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2431 |
Actions (login required)
 |
View Item |
