Well-Orderedness of the Bashicu Matrix System
arXiv:2307.04606
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.
fixed author's name