An algebraic treatment of quantifier-free systems of arithmetic

被引：3
|
作者：
Montagna, F [1 ]
机构：
[1] UNIV SIENA,DIPARTIMENTO MATEMAT,I-53100 SIENA,ITALY
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 1996年 / 35卷 / 04期
关键词：
D O I：
10.1007/s001530050042
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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 T for arithmetic, there is a model where exactly the theorems of T are true.
引用
收藏
页码：209 / 224
页数：16
相关论文
共 50 条
12345