A quantifier elimination for the theory of p-adic numbers

Authors
Egidi, L
Citation
L. Egidi, A quantifier elimination for the theory of p-adic numbers, COMP COMPLE, 7(3), 1998, pp. 205-263
Citations number
15
Categorie Soggetti
Engineering Mathematics
Journal title
COMPUTATIONAL COMPLEXITY
ISSN journal
10163328 → ACNP
Volume
7
Issue
3
Year of publication
1998
Pages
205 - 263
Database
ISI
SICI code
1016-3328(1998)7:3<205:AQEFTT>2.0.ZU;2-N
Abstract
This paper presents a detailed analysis of a quantifier elimination algorit hm for the first order theory of p-adic numbers based on a p-adic analogue of the cylindrical algebraic decomposition. It is believed that this method should lead to an elementary upper bound for the theory. The present paper gives strong arguments against this conjecture and offers a basis for furt her speculation.