Mathematical Logic and Model Theory: A Brief Introduction - Couverture souple

Livre 87 sur 261: Universitext

Prestel, Alexander; Delzell, Charles N.

 
9781447121756: Mathematical Logic and Model Theory: A Brief Introduction
Couverture souple
ISBN 10 : 1447121759 ISBN 13 : 9781447121756
Editeur : Springer, 2011

Synopsis

Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It 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, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. The character of model theoretic constructions and results differ quite significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It 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, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. The character of model theoretic constructions and results differ quite significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study.

Présentation de l'éditeur

This book presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. Includes a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1447121759
ISBN 13 
9781447121756
Reliure
Broché
Nombre de pages
204
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9781447121770: Mathematical Logic and Model Theory: A Brief Introduction

Edition présentée

ISBN 10 :  1447121775 ISBN 13 :  9781447121770
Editeur : Springer, 2011
Couverture souple