MATHEMATICAL FOUNDATIONS FOR MATHEMATICS

被引：2

作者：

HENKIN, L

机构：

来源：

关键词：

D O I：

10.2307/2317752

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：463 / &

共 23 条

[1]

ADDISON JW, 1965, 1963 INT S THEOR MOD

[2] DIOPHANTINE PROBLEMS OVER LOCAL FIELDS .3. DECIDABLE FIELDS [J].

AX, J ;

KOCHEN, S .

[3]

AX J, 1965, AM J MATH, V87, P631, DOI 10.2307/2373066

[4]

Ax James, 1965, AM J MATH, V87

[5]

BENACERRAF P, 1964, PHILOSOPHY MATHEMATI

[6]

Cohen Paul J, 1966, SET THEORY CONTINUUM

[7]

GODEL K, 1958, CONSISTENCY AXIOM CH

[8]

Halmos P., 1962, ALGEBRAIC LOGIC

[9]

HENKIN L, CYLINDRIC ALGEBRAS, V1

[10]

HEYTING A, 1956, STUDIES LOGIC