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

## Abstract

This thesis introduces a well-ordering principle of type two, which we call the Bachmann-Howard principle. The main result states that the Bachmann-Howard principle is equivalent to the existence of admissible sets and thus to Pi^1_1-comprehension. This solves a conjecture of Rathjen and Montalbán. The equivalence is interesting because it relates "concrete" notions from ordinal analysis to "abstract" notions from reverse mathematics and set theory. A type-one well-ordering principle is a map T which transforms each well-order X into another well-order T[X]. If T is particularly uniform then it is called a dilator (due to Girard). Our Bachmann-Howard principle transforms each dilator T into a well-order BH(T). The latter is a certain kind of fixed-point: It comes with an "almost" monotone collapse theta:T[BH(T)]->BH(T) (we cannot expect full monotonicity, since the order-type of T[X] may always exceed the order-type of X). The Bachmann-Howard principle asserts that such a collapsing structure exists. In fact we define three variants of this principle: They are equivalent but differ in the sense in which the order BH(T) is "computed". On a technical level, our investigation involves the following achievements: a detailed discussion of primitive recursive set theory as a basis for set-theoretic reverse mathematics; a formalization of dilators in weak set theories and second-order arithmetic; a functorial version of the constructible hierarchy; an approach to deduction chains (Schütte) and beta-completeness (Girard) in a set-theoretic context; and a beta-consistency proof for Kripke-Platek set theory. Independently of the Bachmann-Howard principle, the thesis contains a series of results connected to slow consistency (introduced by S.-D. Friedman, Rathjen and Weiermann): We present a slow reflection statement and investigate its consistency strength, as well as its computational properties. Exploiting the latter, we show that instances of the Paris-Harrington principle can only have extremely long proofs in certain fragments of arithmetic.

## Metadata

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 |

## Download

### Final eThesis - complete (pdf)

**Filename:**
Freund_AJ_Mathematics_PhD_2018.pdf

**Licence:**

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

## Export

## Statistics

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.