The Ax-Kochen Theorem: an application of model theory to algebra
Logic
2013-08-20 v1
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.
Keywords
Cite
@article{arxiv.1308.3897,
title = {The Ax-Kochen Theorem: an application of model theory to algebra},
author = {Alex Kruckman},
journal= {arXiv preprint arXiv:1308.3897},
year = {2013}
}
Comments
Undergraduate honors thesis, 66 pages