An ordinal analysis of a single stable ordinal

MaRDI QIDQ6507986arXivFDO

Authors Toshiyasu Arai

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Abstract: In this paper we give an ordinal analysis of a set theory extending $sfKPel{l}^r$ with an axiom stating that `there exists a transitive set $M$ such that $Mpre{c}_{Sigm{a}_1}V$'.

This page was built for publication: An ordinal analysis of a single stable ordinal

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