English

An ordinal analysis of a single stable ordinal

Logic 2024-08-08 v9

Abstract

In this paper we give an ordinal analysis of a set theory extending KPr{\sf KP}\ell^{r} with an axiom stating that `there exists a transitive set MM such that MΣ1VM\prec_{\Sigma_{1}}V'.

Keywords

Cite

@article{arxiv.2208.12944,
  title  = {An ordinal analysis of a single stable ordinal},
  author = {Toshiyasu Arai},
  journal= {arXiv preprint arXiv:2208.12944},
  year   = {2024}
}

Comments

arXiv admin note: text overlap with arXiv:2112.09871