# The Leading eBooks Store Online

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

Most popular at the top

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

#### 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$ 76.00Surveys recent interactions between model theory and other branches of mathematics, notably group theory. more...

#### Notes on Forcing Axioms

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

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

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

#### Henkin-Keisler Models

Springer US 2007; US$ 219.00Henkin-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...

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