Properties of extensions of algebraically maximal fields

• Autores: G. Leloup
• Localización: Collectanea mathematica, ISSN 0010-0757, Vol. 54, Fasc. 1, 2003, págs. 53-72
• Idioma: inglés
• Títulos paralelos:
  • Propiedades de extensiones de campos algebraicamente máximos
• Enlaces
  • Texto completo
• Resumen

  • 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.

• Referencias bibliográficas
  • J. Ax and S. Kochen, Diophantine problems over local fields I, Amer. J. Math. 87 (1965), 605–630.
  • J. Ax and S. Kochen, Diophantine problems over local fields II, A complete set of axioms for $p$-adic number theory, Amer. J. Math. 87 (1965),...
  • S.A. Basarab, Some model theory for Henselian valued fields, J. Algebra 55 (1978), 191–212.
  • W. Baur, Die Theorie der Paare reell abgeschlossener Körper, Logic and Algorithmic (in honour of E. Specker), Monograph. Enseign. Math. 30,...
  • W. Baur, On the elementary theory of pairs of real closed fields II, J. Symbolic Logic 47 (1982), 669–679.
  • C.C. Chang and H.J. Keisler, Model theory, Studies in logic and the foundations of mathematics, North-Holland, Amsterdam, 1973.
  • F. Delon, Quelques propriétés des corps valués en théorie des modèles, Thèse, Paris VII, 1981.
  • F. Delon, Indécidabilité de la théorie des paires immédiates de corps valués henseliens, Manuscript, Paris VII, 1985.
  • F. Delon, Extensions séparées et immédiates de corps valués, J. Symbolic Logic 53 (1988), 421–428.
  • O. Endler, Valuation theory, Springer, Berlin, 1972.
  • I. Ershov, On the elementary theory of maximal valued fields, Algebra i Logika, Seminar 4 (1965), 31–70.
  • I. Ershov, On the elementary theory of maximal valued fields II, Algebra i Logika, Seminar 5 (1966), 5–40.
  • I. Kaplansky, Maximal fields with valuations, Duke Math. J. 9 (1942), 303–321.
  • S. Kochen, The model theory of local fields, Lecture Notes in Mathematics 499, Springer, Berlin, 1975, 384–425.
  • F.-V. Kuhlmann, Valuation theory of fields, Abelian groups and modules, to appear in Algebra, Logic and Applications, serie Gordon & Breach,...
  • F.-V. Kuhlmann, M. Pank, and P. Roquette, Immediate and purely wild extensions of valued fields, Manuscripta Math. 55 (1986), 39–67.
  • G. Leloup, Théories complètes de paires de corps valués henseliens, J. Symbolic Logic 55 (1990), 323–339.
  • A. Prestel and P. Roquette, Formally $p$-adic fields, Lecture Notes in Mathematics 1050, Springer, Berlin, 1984.
  • P. Ribenboim, Théorie des valuations, Séminaire de Mathématiques Supérieures 9, 1964.
  • S. Warner, Nonuniqueness of immediate maximal extensions of a valuation, Math. Scand. 56 (1985), 191–202.