Equational fragments of systems for arithmetic. (Q1771883)

In the paper, varieties generated by classes of models of some algebraic fragments are investigated. The aim of the paper is to describe arithmetic by means of finitely many operations having a clear algebraic meaning and coming from traditional algebra, such as sum, difference, product, \(0\), \(1\) and the lattice operations (which come from the theory of \(l\)-rings). The authors investigate equational fragments of formal systems for arithmetic by means of the equational theory of \(f\)-rings and of their positive cones. They start from the observation that a model of arithmetic is the positive cone of a discretely ordered ring. A consequence of the discreteness of the order is the presence of a discriminator, which allows one to derive many properties of the models of the considered equational theories.