Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/154975
Title: | SOME APPLICATIONS OF MODEL THEORY IN NUMBER THEORY | Authors: | XU TIANYI | Keywords: | model theory,algebraic number theory,algebraic geometry,quantifier elimination,valued fields,transfer principle | Issue Date: | 28-Dec-2018 | Citation: | XU TIANYI (2018-12-28). SOME APPLICATIONS OF MODEL THEORY IN NUMBER THEORY. ScholarBank@NUS Repository. | Abstract: | In this thesis, we discuss several applications of model theory in the fields of algebraic geometry and algebraic number theory. The basic notions of first-order logic are introduced, followed by a discussion of compactness and ultraproducts. Some elementary uses of compactness are given, with emphasis on transfer principles. Quantifier elimination is then discussed. We provide detailed proof of quantifier elimination in algebraically closed fields and real closed fields, and show some of their applications in algebraic geometry. We then demonstrate a partial quantifier elimination for Henselian valued fields, and use it to establish a transfer principle connecting p-adic fields and formal power series over finite fields. As an application we prove Ax-Kochen theorem. We also discuss some other notions in model theory. | URI: | https://scholarbank.nus.edu.sg/handle/10635/154975 |
Appears in Collections: | Master's Theses (Open) |
Show full item record
Files in This Item:
File | Description | Size | Format | Access Settings | Version | |
---|---|---|---|---|---|---|
XuTY.pdf | 424.3 kB | Adobe PDF | OPEN | None | View/Download |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.