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.
發表於2024-12-25
A Course in Model Theory 2024 pdf epub mobi 電子書 下載
圖書標籤: Math Logic 模型論 數理邏輯 數學 教材 nemlophics Model-Theory
A Course in Model Theory 2024 pdf epub mobi 電子書 下載