Ordinal Analysis of Set Theories; Relativised and Intuitionistic

Cook, Jacob (2015) Ordinal Analysis of Set Theories; Relativised and Intuitionistic. PhD thesis, University of Leeds.



Supervisors: Rathjen, Michael
Keywords: Ordinal Analysis, Set Theory, Ordinal, Proof Theory, Logic, KP, Kripke Platek, Relativised, intuitionistic
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Identification Number/EthosID: uk.bl.ethos.666579
Depositing User: Mr Jacob Cook
Date Deposited: 16 Sep 2015 12:35
Last Modified: 25 Nov 2015 13:49


Final eThesis - complete (pdf)



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.