Overview
- Provides a streamlined yet easy-to-read introduction to a complete (first-order) formal system of mathematical logic
- Presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra
- As a profound application of model theory in algebra, this book develops a complete proof of Ax and Kochen's work on Artin's Conjecture about diophantine properties of p-adic number fields
- Includes supplementary material: sn.pub/extras
Part of the book series: Universitext (UTX)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (5 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Mathematical Logic and Model Theory
Book Subtitle: A Brief Introduction
Authors: Alexander Prestel, Charles N. Delzell
Series Title: Universitext
DOI: https://doi.org/10.1007/978-1-4471-2176-3
Publisher: Springer London
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer-Verlag London Limited 2011
Softcover ISBN: 978-1-4471-2175-6Published: 21 August 2011
eBook ISBN: 978-1-4471-2176-3Published: 21 August 2011
Series ISSN: 0172-5939
Series E-ISSN: 2191-6675
Edition Number: 1
Number of Pages: X, 194
Topics: Mathematics, general, Mathematical Logic and Formal Languages