A Higher Bachmann-Howard Principle

Publication date 5 April 2017

Foundations of classical theories (including reverse mathematics) (03B30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35)

Abstract: We present a higher well-ordering principle which is equivalent (over Simpson's set theoretic version of

e x t {A T R}_{0}

) to the existence of transitive models of Kripke-Platek set theory, and thus to

P i_{1}^{1}

-comprehension. This is a partial solution to a conjecture of Montalb'an and Rathjen: partial in the sense that our well-ordering principle is less constructive than demanded in the conjecture.

This page was built for publication: A Higher Bachmann-Howard Principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6285214)