Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:concerns |
gptkb:first-order_logic
ultraproducts p-adic fields |
| gptkbp:field |
gptkb:logic
gptkb:model_theory |
| gptkbp:namedAfter |
gptkb:Simon_Kochen
gptkb:James_Ax |
| gptkbp:provenBy |
gptkb:Simon_Kochen
gptkb:James_Ax |
| gptkbp:publishedIn |
gptkb:Annals_of_Mathematics
|
| gptkbp:relatedTo |
gptkb:Artin_conjecture
|
| gptkbp:state |
For sufficiently large primes p, the first-order theory of the p-adic numbers is the same as that of the field of formal Laurent series over a finite field.
|
| gptkbp:yearProved |
1965
|
| gptkbp:bfsParent |
gptkb:James_Ax
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ax–Kochen theorem
|