메뉴 건너뛰기
Computational Complexity
Volumn 7, Issue 3, 1998, Pages 205-263
A quantifier elimination for the theory of p-adic numbers
Author keywords

Complexity; Cylindrical algebraic decomposition; Theory of p adic numbers
Indexed keywords

EID: 0032282618     PISSN: 10163328     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000370050011     Document Type: Article
Times cited : (1)
References (15)
  • 1
    • 0001016950 scopus 로고
    • Diophantine problems over local fields I
    • J. AX AND S. KOCHEN, Diophantine problems over local fields I. Amer. J. Math. 87, 1965, 605-630.
    • (1965) Amer. J. Math. , vol.87 , pp. 605-630
    • Ax, J.1    Kochen, S.2
  • 2
    • 0001016950 scopus 로고
    • Diophantine problems over local fields II
    • J. AX AND S. KOCHEN, Diophantine problems over local fields II. Amer. J. Math. 87, 1965, 631-648.
    • (1965) Amer. J. Math. , vol.87 , pp. 631-648
    • Ax, J.1    Kochen, S.2
  • 3
    • 0000085371 scopus 로고
    • Diophantine problems over local fields III
    • J. AX AND S. KOCHEN, Diophantine problems over local fields III. Ann. Math. 83, 1966, 437-456.
    • (1966) Ann. Math. , vol.83 , pp. 437-456
    • Ax, J.1    Kochen, S.2
  • 5
    • 0007464711 scopus 로고
    • Bounds on transfer principles for algebraically closed and complete discretely valued fields
    • S.S. BROWN, Bounds on transfer principles for algebraically closed and complete discretely valued fields. Memoirs Amer. Math. Soc. 15, 204, 1978.
    • (1978) Memoirs Amer. Math. Soc. , vol.15 , pp. 204
    • Brown, S.S.1
  • 6
    • 84981753513 scopus 로고
    • Decision procedures for real and p-adic fields
    • P.J. COHEN, Decision procedures for real and p-adic fields. Comm. Pure Appl. Math. XXII, 1969, 131-151.
    • (1969) Comm. Pure Appl. Math. , vol.22 , pp. 131-151
    • Cohen, P.J.1
  • 7
    • 85029837057 scopus 로고
    • Quantifier elimination for real closed fields by cylindrical algebraic decomposition
    • G.E. COLLINS, Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science 33, 1975, 134-183.
    • (1975) Lecture Notes in Computer Science , vol.33 , pp. 134-183
    • Collins, G.E.1
  • 8
    • 0001615666 scopus 로고
    • p-adic semi-algebraic sets and cell decomposition
    • J. DENEF, p-adic semi-algebraic sets and cell decomposition. J. Reine Angew. Math. 369, 1986, 154-166.
    • (1986) J. Reine Angew. Math. , vol.369 , pp. 154-166
    • Denef, J.1
  • 10
    • 0003338986 scopus 로고
    • p-adic numbers, p-adic analysis, and the zeta-functions
    • Springer
    • N. KOBLITZ, p-adic numbers, p-adic analysis, and the zeta-functions. Graduate Texts in Mathematics, 58, Springer, 1977.
    • (1977) Graduate Texts in Mathematics , vol.58
    • Koblitz, N.1
  • 11
    • 0001211577 scopus 로고
    • On definable subsets of p-adic fields
    • A. MACINTYRE, On definable subsets of p-adic fields. J. Symbolic Logic 41, 1976, 605-610.
    • (1976) J. Symbolic Logic , vol.41 , pp. 605-610
    • Macintyre, A.1
  • 12
    • 77956979046 scopus 로고
    • Twenty years of p-adic model theory
    • Elsevier Science Publishers B.V. (North Holland)
    • A. MACINTYRE, Twenty years of p-adic model theory. Logic Colloquium '84, Elsevier Science Publishers B.V. (North Holland), 1986, 121-153.
    • (1986) Logic Colloquium '84 , pp. 121-153
    • Macintyre, A.1
  • 13
    • 0039933693 scopus 로고
    • Personal communication
    • A. MACINTYRE, Personal communication, 1991.
    • (1991)
    • Macintyre, A.1
  • 14
    • 0001128116 scopus 로고
    • On the structure of semialgebraic sets over p-adic fields
    • P. SCOWCROFT AND L. VAN DEN DRIES, On the structure of semialgebraic sets over p-adic fields. J. Symbolic Logic 53, 1988, 1138-1164.
    • (1988) J. Symbolic Logic , vol.53 , pp. 1138-1164
    • Scowcroft, P.1    Van Den Dries, L.2
  • 15
    • 0002859131 scopus 로고
    • Quantifier elimination and decision procedures for valued fields
    • V. WEISPFENNING, Quantifier elimination and decision procedures for valued fields. Lecture Notes in Mathematics 1103, 1984, 419-472.
    • (1984) Lecture Notes in Mathematics , vol.1103 , pp. 419-472
    • Weispfenning, V.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.