Hostname: page-component-848d4c4894-pftt2 Total loading time: 0 Render date: 2024-05-07T21:20:14.823Z Has data issue: false hasContentIssue false
  • English
  • Français

Théories complètes de paires de corps valués henseliens

Published online by Cambridge University Press:  12 March 2014

Gérard Leloup
Gérard Leloup*
Affiliation:
Département de Mathématiques, Université de Limoges, 87060 Limoges, France
Get access Rights & Permissions [Opens in a new window]

Extract

Un prolongement de l'étude d'une théorie T, dans le langage , consiste à s'intéresser à la théorie T* des paires de modèles de T, c'est-à-dire les structures de la forme (K ⊊ L) où K ⊨ T, L ⊨ T, K ≺ L, dans le langage où E est un prédicat pour la sous-structure. Les propriétés de la théorie T ne se transmettent pas toujours à T*, particulièrement en ce qui concerne la complétude et la décidabilité. On trouve des illustrations de cas opposés dans les théories de corps:

—si T est la théorie des corps algébriquement clos de caractéristique fixée, T* est complète et décidable;

—si T est la théorie des corps réels clos, T est complète et décidable, mais T* est indécidable, et admet complétions différentes.

Nous allons nous intéresser ici aux paires de corps valués henseliens, et plus particulièrement au cas de caractéristique résiduelle nulle, de la forme (K ⊊ L, υ) où (K, υ) n'est pas nécessairement une sous-structure élémentaire de (L, υ). Ax, Kochen et Ershov ont montré que la théorie d'un corps valué henselien de caractéristique résiduelle nulle est entièrement déterminée par la théorie de son corps de restes et par la théorie de son groupe de valuation; par ailleurs, de résultats analogues existent pour certains corps de caractéristique résiduelle non nulle.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 55 , Issue 1 , March 1990 , pp. 323 - 339
Copyright
Copyright © Association for Symbolic Logic 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

RÉFÉRENCES

[B1]Baur, W., Die Theorie der Paare reele abgeschlossener Körper, Logic and algorithmic (in honour of E. Specker), Monographies de L'Enseignement Mathématique, vol. 30, Université de Genève, Geneva, 1982, pp. 25–34.Google Scholar
[B2]Baur, W., On the theory of pairs of real closed fields. II, this Journal, vol. 47 (1982), pp. 669–679.Google Scholar
[CK]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[D1]Delon, F., Extensions separées et immédiates de corps valués, this Journal, vol. 53 (1988), pp. 421–428.Google Scholar
[D2]Delon, F., Indécidabilité de la théorie des paires immédiates de corps valués henseliens, manuscrit.Google Scholar
[D3]Delon, F., Types de C((X)), Groupe d'Étude de Théories Stables (Bruno Poizat), 2e annee 1978/1979, Université Paris-VII et Secrétariat Mathématique, Paris, 1981, exposé 5.Google Scholar
[D4]Delon, F., Cours manuscrit sur la théorie des modèles, Université Paris-VII, Paris, 1983.Google Scholar
[Ke]Keisler, H. J., Complete theories of algebraically closed fields with distinguished subfields, Michigan Mathematical Journal, vol. 11 (1964), pp. 71–81.CrossRefGoogle Scholar
[Ko]Kochen, S., The model theory of local fields, ⊨ ISILC logic conference (Kiel, 1974), Lecture Notes in Mathematics, vol. 499, Springer-Verlag, Berlin, 1975, pp. 384–425.CrossRefGoogle Scholar
[M1]Macintyre, A. J., Classifying pairs of real closed fields, Ph.D. thesis, Stanford University, Stanford, California, 1968.Google Scholar
[M2]Macintyre, A. J., Complete theories of topological fields with distinguished dense proper subfields, this Journal, vol. 34 (1969), p. 358 (abstract).Google Scholar
[R]Ribenboim, P., Théorie des valuations, Les Presses de l'Université de Montréal, Montréal, 1964.Google Scholar