Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:concerns |
gptkb:first-order_logic
ultraproducts p-adic fields |
gptkbp:field |
gptkb:logic
model theory |
https://www.w3.org/2000/01/rdf-schema#label |
Ax–Kochen theorem
|
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
|