The Ax-Kochen Theorem: an application of model theory to algebra

Abstract

The Ax-Kochen Theorem is a purely algebraic statement about the zeros of homogeneous polynomials over the p-adic numbers, but it was originally proved using techniques from mathematical logic. This document, the author's undergraduate honors thesis, provides an exposition of the theorem and its proof via model theory, assuming no previous experience with logic.