DEFINABLE SUBSETS OF PARA-ADIC FIELDS

被引：157

作者：

MACINTYRE, A ^{[1
]}

机构：

[1] YALE UNIV,NEW HAVEN,CT 06520

来源：

关键词：

D O I：

10.2307/2272038

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：605 / 610

页数：6

共 11 条

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

AX, J ;

KOCHEN, S .

[2]

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

[3]

Ax James, 1965, AM J MATH, V87

[4] STRONGLY MINIMAL SETS [J].

BALDWIN, JT ;

LACHLAN, AH .

[5] DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS [J].

COHEN, PJ .

[6]

ERSOV YL, 1965, DOKLADY AKADEMII NAU, V165

[7]

ERSOV YL, 1965, SOVIET MATHEMATICS, V165, P1390

[8]

KOCHEN S, 1969, AM MATH SOC P S PURE, V12, P57

[9]

SHOENFIELD JR, 1971, S MATH, V5, P173

[10]

TARSKI A, 1948, DECISION PROCEDURE E