DECISION PROCEDURES FOR REAL AND P-ADIC FIELDS

[1] AX J, 1966, AMER J MATH, V88, P437

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

[3] Ax James, 1965, AM J MATH, V87

[4] ERSHOV JL, 1965, SOV MATH DOKL, V6, P1390

[5] ERSHOV JL, 1965, DOKLADY AKAD NAUK US, V165, P21

[6] Hormander L., 1963, LINEAR PARTIAL DIFFE

[7] ON QUASI ALGEBRAIC CLOSURE [J]. ANNALS OF MATHEMATICS, 1952, 55 (02) : 373 - 390

[8] PRESBURGER M, 1929, UBER VOLLSTANDIGKEIT, P92

[9] PRESBURGER M, 1929, UBER VOLLSTANDIGKEIT, P395

[10] ROBINSON A, 1963, INTRODUCTION MODEL T

[1] AX J, 1966, AMER J MATH, V88, P437

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

[3] Ax James, 1965, AM J MATH, V87

[4] ERSHOV JL, 1965, SOV MATH DOKL, V6, P1390

[5] ERSHOV JL, 1965, DOKLADY AKAD NAUK US, V165, P21

[6] Hormander L., 1963, LINEAR PARTIAL DIFFE

[7] ON QUASI ALGEBRAIC CLOSURE [J]. ANNALS OF MATHEMATICS, 1952, 55 (02) : 373 - 390

[8] PRESBURGER M, 1929, UBER VOLLSTANDIGKEIT, P92

[9] PRESBURGER M, 1929, UBER VOLLSTANDIGKEIT, P395

[10] ROBINSON A, 1963, INTRODUCTION MODEL T