Well-Ordering Principles and Pi 1,1-Comprehension + Bar Induction

Thomson, Ian Alexander (2017) Well-Ordering Principles and Pi 1,1-Comprehension + Bar Induction. PhD thesis, University of Leeds.



Keywords: Proof Theory, Ordinal Analysis, Logic, Veblen Hierarchy, Cut Elimination, omega models
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 (e.g. uk.bl.ethos.123456): uk.bl.ethos.759774
Depositing User: Mr Ian A Thomson
Date Deposited: 04 Dec 2018 16:57
Last Modified: 18 Feb 2020 12:32


Final eThesis - complete (pdf)

Filename: ThomsonThesisFinal.pdf

Description: Thesis

Licence: Creative Commons Licence
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 2.5 License

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.