 |
 |
|
|
| HAL: hal-00723415, version 1 |
| arXiv: 1208.1341 |
| Detailed view |  Export this paper |
 |
|
|
| Valued difference fields and NTP2 |
|
|
| Artem Chernikov 1Martin Hils 2 |
|
|
| (2012-08-07) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Logic |
|
|
| valued difference fields – NTP2 – Ax-Kochen-Ershov – model theory |
|
|
|
| Fulltext link: |
|
| 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 | |
| From: Artem Chernikov | |
| Submitted on: Thursday, 9 August 2012 17:53:30 | |
| Updated on: Thursday, 9 August 2012 17:53:30 | |
