# The Leading eBooks Store Online

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

Most popular at the top

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

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

#### Notes on Forcing Axioms

World Scientific Publishing Company 2013; US$ 88.00In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category... more...

#### Logic Without Borders

De Gruyter 2015; US$ 154.00In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect... more...

#### Forcing for Mathematicians

World Scientific Publishing Company 2014; US$ 75.00Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In... more...

#### Logik und Algebra

De Gruyter 2012; US$ 31.00in diesem Buch werden die Zusammenhänge zwischen Relationen, Funktionen und relationalen Datenbanken tiefer aufgezeigt, als dies üblicherweise in anderen, rein mathematisch orientierten Einführungswerken üblich ist. more...

#### Institution-independent Model Theory

Birkhäuser Basel 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. Especially in computer science, where the development of a huge... more...