Ax-Kochen theorem

English

Etymology

Named after James Ax and Simon B. Kochen.

Proper noun

the Ax-Kochen theorem

1. (mathematics) A theorem stating that for each positive integer d there is a finite set Y_d of prime numbers, such that if p is any prime not in Y_d then every homogeneous polynomial of degree d over the p-adic numbers in at least d²+1 variables has a nontrivial zero.