|
Showing 1 - 2 of
2 matches in All Departments
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.
This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.