An algebraic treatment of quantifier-free systems of arithmetic |
| |
Authors: | Franco Montagna |
| |
Institution: | (1) Dipartimento di Matematica, Universita di Siena, Via del Capitano 15, I-53100 Siena, Italy (e-mail: montagna@unisi.it or montagna@sivax.cineca.it) , IT |
| |
Abstract: | By algebraic means, we give an equational axiomatization of the
equational fragments of various systems of arithmetic. We also introduce
a faithful semantics according to which, for every reasonable system
for arithmetic, there is a model where exactly the theorems of
are true.
Received March 20, 1995 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|