Equational fragments of systems for arithmetic.

Authors Franco Montagna, Valeria Sebastiani

Publication date 19 April 2005

Published in Algebra Universalis (Search for Journal in Brave)

\(f\)-rings arithmetic equational systems

Equational classes, universal algebra in model theory (03C05) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Ordered rings, algebras, modules (06F25)

Review text

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.

Recommendations

Cited in

(3)

This page was built for publication: Equational fragments of systems for arithmetic.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1771883)