A Course in Model Theory

A Course in Model Theory, CIENCIAS EXATAS, Springer Nature B.V.

Sinopse

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.

Metadado adicionado por UmLivro em 28/12/2024

ISBN relacionados

--