The story
Named after James Ax and Simon B. Kochen.
Etymology from Wiktionary, CC BY-SA 4.0.
Ax-Kochen theorem
Today it means: 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. Full definition →