Geometric proofs of theorems of Ax-Kochen and Eršov (Q2800425)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Geometric proofs of theorems of Ax-Kochen and Eršov |
scientific article; zbMATH DE number 6569413
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Geometric proofs of theorems of Ax-Kochen and Eršov |
scientific article; zbMATH DE number 6569413 |
Statements
Geometric proofs of theorems of Ax-Kochen and Eršov (English)
0 references
15 April 2016
0 references
\(p\)-adic Diophantine equations
0 references
weak toroidalization
0 references
transfer principle
0 references
quantifier elimination theorems
0 references
0.90583766
0 references
0.90481704
0 references
0.9045707
0 references
0.8994342
0 references
0.89629483
0 references
0.89191836
0 references
0.8914921
0 references
0 references
0.8906213
0 references
The author gives a proof of Ax-Kochen's theorem on \(p\)-adic forms using a result named as ``transfer of surjectivity'', which is proved by a theorem on weak toroidalization of morphisms.
0 references