White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

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.

Text (Thesis)
ThomsonThesisFinal.pdf - Final eThesis - complete (pdf)
Available under License Creative Commons Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales.

Download (478Kb) | Preview


This thesis proves that the statement “Every set X is contained in a countable-coded omega-model of Pi �1,1-CA + Bar Induction” is equivalent to the statement, “For all sets X; if X is well-ordered, then the construction OT(E_(Omega_omega + X)) is well-ordered.” Here OT(E_(Omega_omega + X)) stands for the Veblen hierarchy up to Omega_omega relativized through the addition of epsilon numbers E_X above Omega_omega.

Item Type: Thesis (PhD)
Keywords: Proof Theory, Ordinal Analysis, Logic, Veblen Hierarchy, Cut Elimination, omega models
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Mr Ian A Thomson
Date Deposited: 04 Dec 2018 16:57
Last Modified: 04 Dec 2018 16:57
URI: http://etheses.whiterose.ac.uk/id/eprint/22206

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.

Actions (repository staff only: login required)