Natural Instances of Illfoundedness and Nonlinearity in the Hierarchy of Consistency Strength, Oxford Phil Math Seminar, May 2023
Abstract. There is an unexplained logical mystery in the foundations of mathematics, namely, our best and strongest mathematical theories seem to be linearly ordered and indeed well-ordered by cons…
