Faithin Omaha eBook Collection

Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950’s, it

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

This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Beside

Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric. Applicati

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions o