On elementary equivalence of real semigroups of preordered rings - Miraglia Neto, Francisco; Mariano, Hugo Luiz (Logic Journal of the IGPL, 2025)