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

Por • 21 ago, 2013 • Sección: Crítica

Alex Kruckman

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.

arXiv:1308.3897v1 [math.LO]

Post to Twitter

Etiquetado con: , , ,

Escribe un comentario