Projectable reduced $f$-rings admitting elimination of quantifiers
Logic
2026-05-26 v1 Commutative Algebra
Abstract
In this note, we give a characterization of all projectable and divisible-projectable reduced -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.
Cite
@article{arxiv.2605.24778,
title = {Projectable reduced $f$-rings admitting elimination of quantifiers},
author = {Jorge I. Guier},
journal= {arXiv preprint arXiv:2605.24778},
year = {2026}
}
Comments
Latex, 16 pages, no figures