# The Leading eBooks Store Online

## 3,794,961 members ⚫ 1,236,034 ebooks

#### Logic Without Borders

De Gruyter 2015; US$ 126.78In 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...

#### Forcing for Mathematicians

World Scientific Publishing Company 2014; US$ 52.00 US$ 47.32Ever 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...

#### Notes on Forcing Axioms

World Scientific Publishing Company 2013; US$ 60.00 US$ 54.60In 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...

#### Logik und Algebra

De Gruyter 2012; US$ 23.20Ein Computer ist letztendlich nichts anderes als in Hardware umgesetzte Boolesche Algebra. Ohne Verständnis dieser algebraischen Struktur kann man die Funktionsweise eines Rechners nie begreifen, und dazu sollte jeder Informatik- oder Wirtschaftsinformatikstudent in der Lage sein, auch dann, wenn sein Aufgabengebiet später nicht der Entwurf... more...

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

De Gruyter 2010; US$ 200.77This 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... more...

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

#### Institution-independent Model Theory

Birkhäuser Basel 2008; US$ 84.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...

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

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

#### Henkin-Keisler Models

Springer US 2007; US$ 89.83Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisler modified the Henkin construction at that point at which `new' individual constants are introduced and did so in a way that illuminates a connection between Henkin-Keisler models and ultraproducts.... more...