Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
Anmelden
Books Die Bücher 1 - 10 von ungefähr 45 beziehen sich auf Models and Games.   

Dependence Logic: A New Approach to Independence Friendly Logic

Jouko Väänänen - 2007
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first ...
Eingeschränkte Leseprobe - Über dieses Buch

Logic Colloquium '03: Lecture Notes in Logic 24

Viggo Stoltenberg-Hansen, Jouko Väänänen - 2006 - 408 Seiten
This book is a compilation of papers resented at the 2003 European Summer Meeting of the Association for Symbolic Logic. It includes tutorials and research articles from some ...

Generalized Quantifiers and Computation: 9th European Summer School in Logic ...

Jouko Väänänen - 2003 - 139 Seiten
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence ...
Eingeschränkte Leseprobe - Über dieses Buch

Dependence Logic: Theory and Applications

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer - 2016 - 276 Seiten
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also ...
Eingeschränkte Leseprobe - Über dieses Buch

Building Models by Games

Wilfrid Hodges - 2006 - 318 Seiten
This volume introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory. It covers basic model theory and ...
Eingeschränkte Leseprobe - Über dieses Buch

Axiom of Choice

Horst Herrlich - 2006 - 194 Seiten
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This ...
Eingeschränkte Leseprobe - Über dieses Buch

A Shorter Model Theory

Wilfrid Hodges - 1997 - 310 Seiten
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard ...
Eingeschränkte Leseprobe - Über dieses Buch

Introduction to Model Theory

Philipp Rothmaler - 2000 - 324 Seiten
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text ...
Eingeschränkte Leseprobe - Über dieses Buch

Generalized Descriptive Set Theory and Classification Theory

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov - 2014 - 80 Seiten
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where ...
Eingeschränkte Leseprobe - Über dieses Buch

Categoricity

John T. Baldwin - 2009 - 235 Seiten
Keine Leseprobe verfügbar - Über dieses Buch




  1. Meine Bücher
  2. Hilfe
  3. Erweiterte Buchsuche