Well-Orderedness of the Bashicu Matrix System
Logic
2024-10-15 v3
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.
Cite
@article{arxiv.2307.04606,
title = {Well-Orderedness of the Bashicu Matrix System},
author = {Rachel Hunter},
journal= {arXiv preprint arXiv:2307.04606},
year = {2024}
}
Comments
fixed author's name