# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

Most popular at the top

#### Finite Model Theory

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2005; US$ 109.00Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixed-point logic, transitive closure logic, and certain infinitary languages. more...

#### Institution-independent Model Theory

Springer 2008; US$ 129.00A 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. 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...

#### 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...

#### 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; US$ 87.50Lö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$ 238.00This is the revised edition of a well-established monograph on the identification of a canonical model in which the Continuum Hypothesis is false. Written by an expert in the field, it is directed to researchers and advanced graduate students in Mathematical Logic and Set Theory. The second edition is updated to take into account some of the developments... more...

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

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

#### Model Theory

Cambridge University Press 1993; US$ 113.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$ 83.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...