An ordinal analysis of a single stable ordinal

arXiv2208.12944MaRDI QIDQ6507986FDOQ6507986

Authors: Toshiyasu Arai 

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$'.

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

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)