Type-Two Well-Ordering Principles, Admissible Sets, and Pi^1_1-Comprehension

Freund, Anton Jonathan (2018) Type-Two Well-Ordering Principles, Admissible Sets, and Pi^1_1-Comprehension. PhD thesis, University of Leeds.



Supervisors: Rathjen, Michael
Keywords: well-ordering principles, admissible sets, Pi^1_1-comprehension, dilators, beta-proofs, Bachmann-Howard ordinal, primitive recursive set theory, slow consistency, Paris-Harrington principle, proof length
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.749415
Depositing User: Mr. Anton Jonathan Freund
Date Deposited: 07 Aug 2018 10:02
Last Modified: 18 Feb 2020 12:31


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.