Equational fragments of systems for arithmetic.

MaRDI QIDQ1771883zbMATH OpenFDO

Authors Franco Montagna, Valeria Sebastiani

Publication date 19 April 2005

Published in Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

arithmetic\(f\)-ringsequational systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4068843
• An algebraic treatment of quantifier-free systems of arithmetic
• Automated Deduction – CADE-19
• Diophantine equations in fragments in arithmetic
• A bounded arithmetic AID for Frege systems
• scientific article; zbMATH DE number 19304
• scientific article; zbMATH DE number 903037
• scientific article; zbMATH DE number 3353345
• scientific article; zbMATH DE number 700342
• Simple equational specifications of rational arithmetic

Cited in

(2)

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

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)