An ordinal analysis of a single stable ordinal

2022/08/27 by Toshiyasu Arai, Arai, Toshiyasu
Mathematics · #03F99 #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.2208.12944

openalex publication_date 2022/08/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In this paper we give an ordinal analysis of a set theory extending \sf KPℓ^r with an axiom stating that `there exists a transitive set M such that M\prec_Σ₁V'.

Related

• The Theory of Sets of Ordinals
• An ordinal analysis of Π₁-Collection
• Wellfoundedness proof with the maximal distinguished set
• Antichain of ordinals in intuitionistic set theory
• Well-foundedness proof for Π¹₁-reflection