Well-Orderedness of the Bashicu Matrix System
Rachel Hunter
TL;DR
This paper proves that the Bashicu Matrix System, a recursive ordinal notation system created by a user on the Japanese Googology Wiki, is well-ordered, establishing its foundational consistency.
Contribution
The paper introduces the Bashicu Matrix System and provides a proof of its well-orderedness, a significant step in understanding its mathematical properties.
Findings
The Bashicu Matrix System is well-ordered.
The proof confirms the system's foundational consistency.
The system's structure supports ordinal analysis.
Abstract
The Bashicu Matrix System is a recursive system of ordinal notations created by the user BashicuHyudora of the japanese Googology Wiki. In this paper, we prove that the Bashicu Matrix System is well-ordered.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Advanced Graph Theory Research · Advanced Algebra and Logic