论文标题
单一稳定序数的序数分析
An ordinal analysis of a single stable ordinal
论文作者
论文摘要
在本文中，我们对$ {\ sf kp} \ ell^{r} $扩展的集合理论进行了序数分析，并用公理表示````'''存在$ m \ prec_ {σ_{σ_{1}} v $'。
In this paper we give an ordinal analysis of a set theory extending ${\sf KP}\ell^{r}$ with an axiom stating that `there exists a transitive set $M$ such that $M\prec_{Σ_{1}}V$'.
