EXISTENTIAL DEFINABILITY IN ARITHMETIC

被引：37

作者：

ROBINSON, J

机构：

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1952年 / 72卷 / MAY期

关键词：

D O I：

10.2307/1990711

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：437 / 449

页数：13

相关论文

共 4 条

[1]

Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[2] Recursive predicates and quantifiers [J].

Kleene, S. C. .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1943, 53 (1-3) :41-73

[3]

Tarski A., 1948, DECISION METHOD ELEM

[4]

[No title captured]