TY - RPRT TI - Well-Orderedness of the Bashicu Matrix System AU - Rachel Hunter PY - 2024 UR - https://arxiv.org/abs/2307.04606 ID - 2307.04606 ER -