# The Leading eBooks Store Online

## 4,416,707 members ⚫ 1,552,143 ebooks

Most popular at the top

#### Finite Model Theory

Springer Berlin Heidelberg 2005; US$ 136.77Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics... more...

#### Classification Theory

Elsevier Science 1990; US$ 376.00In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new chapters as well as various corrections to the 1978 text. The additional chapters X - XIII present the solution to countable first order T of what the author sees as the main... more...

#### The Concept of Model

re.press 2007; US$ 25.00In The Concept of Model Alain Badiou establishes a new logical 'concept of model'. Translated for the first time into English, the work is accompanied by an exclusive interview with Badiou in which he elaborates on the connections between his early and most recent work—for which the concept of model remains seminal. more...

#### The Birth of Model Theory

Princeton University Press 2009; Not AvailableLöwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant theorems are well understood, this is not the case with Löwenheim's... more...

#### The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

De Gruyter 2010; US$ 266.00The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level. more...

#### Stable Domination and Independence in Algebraically Closed Valued Fields

Cambridge University Press 2007; US$ 41.00This book presents research in model theory and its applications to valued fields. more...

#### Model Theory

Cambridge University Press 1993; US$ 120.00An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. more...

#### An Introduction to Independence for Analysts

Cambridge University Press 1987; US$ 70.00Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. more...

#### Model Theory and Modules

Cambridge University Press 1988; US$ 92.00In recent years the interplay between model theory and other branches of mathematics has led to many deep and intriguing results. In this, the first book on the topic, the theme is the interplay between model theory and the theory of modules. The book is intended to be a self-contained introduction to the subject and introduces the requisite model... more...

#### Model Theory of Groups and Automorphism Groups

Cambridge University Press 1997; US$ 61.00Surveys recent interactions between model theory and other branches of mathematics, notably group theory. more...