Fonctionne avec Indico
v3.2.9
Il est tentant de penser que, tout comme de nombreuses propriétés des corps Henséliens de caractéristique zéro, leurs imaginaires aussi vérifient un principe d'Ax-Kochen-Ersov. Dans cet exposé, mon but sera de donner une stratégie de preuve pour prouver un tel principe dans une large classe de corps Henséliens d'équicaractéristique nulle (potentiellement munis d'opérateurs). La preuve se sépare naturellement en deux problèmes distincts. D'une part trouver de nombreux types sans quantificateurs définissables et ensuite les compléter en des types globaux invariants (sur RV).