p-adic semi-algebraic sets and cell decomposition.
Page 1
Jan Denef (1986)
Journal für die reine und angewandte Mathematik
Jochen Koenigsmann (1995)
Manuscripta mathematica
Michel Brion (1988)
Annales scientifiques de l'École Normale Supérieure
G. Leloup (2003)
Collectanea Mathematica
We prove some properties similar to the theorem Ax-Kochen-Ershov, in some cases of pairs of algebraically maximal fields of residue characteristic p > 0. This properties hold in particular for pairs of Kaplansky fields of equal characteristic, formally p-adic fields and finitely ramified fields. From that we derive results about decidability of such extensions.
Page 1