TY - RPRT TI - Rings and Boolean Algebras as Algebraic Theories AU - Arturo De Faveri PY - 2026 UR - https://arxiv.org/abs/2503.04430 ID - 2503.04430 ER -