ENGLISH

A course in model theory : an introduction to contemporary mathematical logic

By Bruno Poizat

Book information

Publisher
Springer
Year
2000
ISBN
0-387-98655-3, 9780387986555
Language
english
Format
DJVU
Filesize
5 MB (5487579 bytes)
Series
Universitext
Pages
xxxi, 443 p. ; 24 cm\476
Topic
Mathematics Logic
Library
kolxo3
DPI
600
Time added
2014-11-04 21:00:00

Description

Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It also introduces logic via the study of the models of arithmetic, and it gives complete but accessible exposition of stability theory.

Similar books