{"id":"arxiv/2605.24778","url":"https://arxiv.org/abs/2605.24778","tags":["math.LO","math.AC"],"score":0,"title":"Projectable reduced $f$-rings admitting elimination of quantifiers","domain":"math.LO","source":"arxiv","authors":["Jorge I. Guier"],"reviews":0,"subject":"math.LO","summary":"In this note, we give a characterization of all projectable and divisible-projectable reduced $f$-rings satisfying the first convexity property and admitting elimination of quantifiers, in the language of lattice-ordered rings with the divisibility relation, the radical relation associated to the minimal prime spectrum, and the local divisibility relation.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-23","reactions":{}}