The Leading eBooks Store Online

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

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Model theory

  • Logic Without Bordersby Åsa Hirvonen; Juha Kontinen; Roman Kossak; Andrés Villaveces

    De Gruyter 2015; US$ 154.00

    In 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 to the diverse... more...

  • Forcing for Mathematiciansby Nik Weaver

    World Scientific Publishing Company 2014; US$ 75.00

    Ever 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 Axiomsby Stevo Todorcevic; Chitat Chong; Qi Feng; Yue Yang

    World Scientific Publishing Company 2013; US$ 88.00

    In 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 Algebraby Frank Staab

    De Gruyter 2012; US$ 554.00

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

  • The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Idealby W. Hugh Woodin

    De Gruyter 2010; US$ 238.00

    This 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 Theoryby Calixto Badesa

    Princeton University Press 2009; US$ 87.50

    Lö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 Theoryby Razvan Diaconescu

    Springer 2008; US$ 129.00

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

  • Stable Domination and Independence in Algebraically Closed Valued Fieldsby Deirdre Haskell; Ehud Hrushovski; Dugald Macpherson

    Cambridge University Press 2007; US$ 40.00

    This book presents research in model theory and its applications to valued fields. more...

  • The Concept of Modelby Alain Badiou; Zachary Fraser; Tzuchien Tho

    re.press 2007; US$ 25.00

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

  • Finite Model Theoryby Heinz-Dieter Ebbinghaus; Jörg Flum

    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2005; US$ 109.00

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