Realizability Interpretations for Intuitionistic Set Theories

Dihoum, Eman Emhemed (2016) Realizability Interpretations for Intuitionistic Set Theories. PhD thesis, University of Leeds.

Abstract

Metadata

Keywords: Realizability, Intuitionistic theory, Choice principles, Brouwerian principles.
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds)
The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds)
The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.713230
Depositing User: Mrs E. E. Dihoum
Date Deposited: 16 May 2017 12:40
Last Modified: 25 Jul 2018 09:54

Download

Final eThesis - complete (pdf)

Filename: Dihoum_EE_Mathematics_PhD_2016.pdf

Description: Thesis: Realizability Interpretations

Licence: Creative Commons Attribution Non-commercial Share Alike (UK)

Share / Export


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.