An ordinal analysis of a single stable ordinal

Abstract

In this paper we give an ordinal analysis of a set theory extending $\mathsf{KP}{\ell }^r$ with an axiom stating that `there exists a transitive set $M$ such that $M{\prec }_{{\Sigma }_1}V$'.

arXiv admin note: text overlap with arXiv:2112.09871