1 paper · 1 filter
Rachel Hunter
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 Mat…