TY - RPRT TI - A nonfinitely based additively idempotent semiring of order four AU - Mengya Yue AU - Miaomiao Ren PY - 2026 UR - https://arxiv.org/abs/2605.15493 ID - 2605.15493 ER -