Ax-Kochen 定理：模型论在代数中的应用
逻辑
2013-08-20 v1
摘要
Ax-Kochen 定理是一个纯粹的代数陈述，涉及 p 进数上齐次多项式的零点，但它最初是使用数理逻辑的技术证明的。本文是作者的本科荣誉论文，旨在阐述该定理及其通过模型论的证明过程，并假设读者此前没有逻辑学经验。
引用
@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}
}
备注
Undergraduate honors thesis, 66 pages