TY - RPRT TI - Projectable reduced $f$-rings admitting elimination of quantifiers AU - Jorge I. Guier PY - 2026 UR - https://arxiv.org/abs/2605.24778 ID - 2605.24778 ER -