Use this URL to cite or link to this record in EThOS:
Title: Well-ordering principles and Π1,1-comprehension + Bar Induction
Author: Thomson, Ian Alexander
Awarding Body: University of Leeds
Current Institution: University of Leeds
Date of Award: 2017
Availability of Full Text:
Access from EThOS:
Access from Institution:
This thesis proves that the statement "Every set X is contained in a countable-coded ω-model of Π1,1-CA + Bar Induction" is equivalent to the statement, "For all sets X, if X is well-ordered, then the construction OT(ΕΩω+X) is well-ordered". Here OT(ΕΩω+X) stands for the Veblen hierarchy up to Ωω relativized through the addition of epsilon numbers ΕX above Ωω.
Supervisor: Rathjen, Michael Sponsor: University of Leeds
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available