• Publications
  • Influence
Model theory of the Frobenius on the Witt vectors
We give axiomatizations and prove quantifier elimination theorems for first-order theories of unramified valued fields with an automorphism having a close interaction with the valuation. We achieveExpand
  • 27
  • 4
  • PDF
Substructures and uniform elimination for p-adic fields
  • Luc Bélair
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 1 July 1988
TLDR
Axiomatisation de la partie universelle de la theorie du premier ordre des corps p-adiquement clos d'un rang donne, et theoreme d'elimination des quantificateurs uniforme des corps P-adiques quand p varie. Expand
  • 19
  • 4
Types dans les corps valués munis d'applications coefficients
ABSTRACT. We transpose Delon’s analysis of types in valued fields to unramified henselian valued fields of mixed characteristic, by using coefficient maps of order n. This yields theExpand
  • 37
  • 2
Types dans les corps valués
RESUME. L’analyse de Delon des types dans les corps values devient particulierement transparente dans le langage des corps values auquel on ajoute une ≪ application coefficient ≫. On obtient ainsi uneExpand
  • 5
  • 2
Rings of p -adic functions
We study first-order properties of the quotient rings (V)/ by a prime ideal where (V) is the ring of p-adic valued continuous definable functions on some affine p-adic variety V. We show that theyExpand
  • 4
  • 1
Définissabilité dans les Corps de Fonctions p-Adiques
TLDR
We study function fields over p-adically closed fields in the first-order language of fields and show that the field of constants is definable, and that the genus is an elementary property. Expand
  • 5
  • 1
  • PDF
L'automorphisme de Frobenius des vecteurs de Witt
Resume On axiomatise la theorie du premier ordre de l'automorphisme de Frobenius du corps des vecteurs de Witt sur la cloture algebrique d'un corps fini.
  • 12
  • PDF
Spectres p-adiques en rang fini
RESUME -- Nous prolongeons les resultats de Robinson [14] sur le spectre p-adique en introduisant un « spectre » adapte a la geometrie algebrique p-adique sur les extensions finies de Qp . ABSTRACTExpand
  • 7
...
1
2
3
4
...