The Leading eBooks Store Online

3,603,993 members ⚫ 1,165,375 ebooks

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

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

    De Gruyter 2010; US$ 266.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$ 97.00 US$ 77.60

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

  • Classification Theoryby S. Shelah

    Elsevier Science 1990; US$ 376.00

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

  • Complete theoriesby Abraham Robinson

    Elsevier Science 2000; US$ 275.00

    Provability, Computability and Reflection 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 Berlin Heidelberg 2005; US$ 159.00

    Finite model theory, the model theory of finite structures, has roots in clas­ sical model theory; however, its systematic development was strongly influ­ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics... more...

  • Forcing for Mathematiciansby Nik Weaver

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

  • Henkin-Keisler Modelsby George Weaver

    Springer US 2007; US$ 219.00

    Henkin-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 Theoryby Razvan Diaconescu

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

  • An Introduction to Independence for Analystsby H. G. Dales; W. H. Woodin

    Cambridge University Press 1987; US$ 88.00 US$ 72.16

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