Paires de corps p. A. C. Parfaits, paires de corps pseudo-finis

Pairs of perfect p. A. C. Fields, pairs of pseudo-finite fields

• Auteur / Autrice : HELENE LEJEUNE
• Direction : Françoise Delon
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques. Logique et fondements de l'informatique
• Date : Soutenance en 1995
• Etablissement(s) : Paris 7

Résumé

Nous montrons que ii etant une theorie complete de corps pseudo-finis, la theorie des paires elementaires des modeles de ii admet deux puissances aleph-zero completions, et est indecidable (et il en est de meme pour la theorie des paires elementaires de corps pseudo-finis). Nous savons qu'un corps est p. A. C. Si et seulement s'il est existentiellement clos dans toute extension reguliere ; nous introduisons alors les paires de corps parfaits pleines et r. S. P. A. C. (regulierement simultanement p. A. C. ) qui satisferont une condition analogue dans le cadre des paires de corps, et nous appliquons nos resultats aux paires de corps pseudo- finis obtenant alors des sous-classes decidables et aux paires formees par un corps algebriquement clos dans un corps pseudo-fini