 |
 |
|
|
| HAL : hal-00723415, version 1 |
| arXiv : 1208.1341 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| Valued difference fields and NTP2 |
|
|
| Artem Chernikov 1Martin Hils 2 |
|
|
| (07/08/2012) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 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 |
|
|
| 2 : | Équipe de Logique Mathématique (ELM) |
|
|
|
CNRS : UMR7056 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique |
|
|
| valued difference fields – NTP2 – Ax-Kochen-Ershov – model theory |
|
|
|
| Lien vers le texte intégral : |
|
| http://fr.arXiv.org/abs/1208.1341 |
| hal-00723415, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00723415 | |
| oai:hal.archives-ouvertes.fr:hal-00723415 | |
| Contributeur : Artem Chernikov | |
| Soumis le : Jeudi 9 Août 2012, 17:53:30 | |
| Dernière modification le : Jeudi 9 Août 2012, 17:53:30 | |
