An ordinal analysis of a single stable ordinal

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