# The Leading eBooks Store Online

## 3,964,430 members ⚫ 1,303,930 ebooks

#### The Birth of Model Theory

Princeton University Press 2009; US$ 99.95 US$ 90.95Lö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 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...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Model Theory

Elsevier Science 1990; US$ 72.95Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a... more...

#### An Introduction to Independence for Analysts

Cambridge University Press 1987; US$ 88.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...

#### Institution-independent Model Theory

Birkhäuser Basel 2008; US$ 94.55A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge... more...

#### Finite Model Theory

Springer Berlin Heidelberg 2005; US$ 141.83Finite 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...

#### Model Theory of Groups and Automorphism Groups

Cambridge University Press 1997; US$ 76.00Surveys recent interactions between model theory and other branches of mathematics, notably group theory. 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...

#### Logic Without Borders

De Gruyter 2015; US$ 168.00In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.... more...