EQUATIONAL THEORY OF POSITIVE NUMBERS WITH EXPONENTIATION IS NOT FINITELY AXIOMATIZABLE

被引：24
作者：
GUREVIC, R
机构：
[1] Department of Mathematics, University of Wisconsin, Madison
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1990年 / 49卷 / 01期
关键词：
D O I：
10.1016/0168-0072(90)90049-8
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
[No abstract available]
引用
收藏
页码：1 / 30
页数：30
相关论文
共 8 条
[1]  
EHRENFEUCHT A, 1973, ALGEBR UNIV, V3, P261
[2]  
GUREVIC R, 1985, P AM MATH SOC, V94, P135
[3]  
GUREVIC R, 1988, THESIS U ILLINOIS UR
[4]   LOGIC OF EQUALITY [J].
HENKIN, L .
AMERICAN MATHEMATICAL MONTHLY, 1977, 84 (08) :597-612
[5]   SOME APPLICATIONS OF NEVANLINNA THEORY TO MATHEMATICAL LOGIC - IDENTITIES OF EXPONENTIAL FUNCTIONS [J].
HENSON, CW ;
RUBEL, LA .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 282 (01) :1-32
[6]  
LEVITZ H, 1977, ALGEBR UNIV, V7, P133
[7]  
MACINTYRE A, 1981, LECT NOTES MATH CHAP, V890, P185
[8]  
WILKIE AJ, 1980, UNPUB EXDPONENTIATIO
1