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.Download
No comments:
Post a Comment