21828 articles – 15613 Notices  [english version]
HAL : hal-00723415, version 1

Fiche concise  Récupérer au format
Valued difference fields and NTP2
Chernikov A., Hils M.
http://hal.archives-ouvertes.fr/hal-00723415
Preprint, Working Paper, Document sans référence, etc.
Mathématiques/Logique
Valued difference fields and NTP2
Artem Chernikov (, http://chernikov.me/) 1, Martin Hils 2
1 :  Institut Camille Jordan (ICJ)
CNRS : UMR5208 – Université Claude Bernard - Lyon I – Ecole Centrale de Lyon – Institut National des Sciences Appliquées (INSA) : - LYON – Université Jean Monnet - Saint-Etienne
Bât. Jean Braconnier n° 101 43 Bd du 11 novembre 1918 69622 VILLEURBANNE CEDEX
France
2 :  Équipe de Logique Mathématique (ELM)
http://www.logique.jussieu.fr/
CNRS : UMR7056 – Université Paris VII - Paris Diderot
France
We show that the theory of the non-standard Frobenius automorphism, acting on an algebraically closed valued field of equal characteristic 0, is NTP2. More generally, we prove that a contractive sigma-henselian valued difference field of characteristic 0 is NTP2, provided both the residue difference field and the value group (as an ordered difference group) are NTP2. In addition, we demonstrate an analogous result for a possible refinement of NTP2 called resilience.
Anglais
07/08/2012

valued difference fields – NTP2 – Ax-Kochen-Ershov – model theory
03C45, 03C60, 12L12
22 pages

Référence du projet ANR-09-BLAN-0047
Numéro Cordis 238381
Acronyme MALOA
Titre From Mathematical Logic To Applications
Financé par PEOPLE
Début 2009-10-01
Date de fin 2013-09-30
Identifiant de l'appel FP7-PEOPLE-ITN-2008

Lien vers le texte intégral : 
http://fr.arXiv.org/abs/1208.1341