Equational fragments of systems for arithmetic.

zbMath1061.03036MaRDI QIDQ1771883

Valeria Sebastiani, Franco Montagna

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

arithmetic\(f\)-ringsequational systems

Mathematics Subject Classification ID

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

Related Items (2)

Obituary: Franco Montagna (1948--2015) ⋮ On database query languages for K-relations

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