Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (5 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Fachbereich Mathematik und Statistik, Universität Konstanz, Konstanz, Germany
Alexander Prestel
-
Department of Mathematics, Louisiana State University, Baton Rouge, USA
Charles N. Delzell
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