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

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

Model Theory

C.C. Chang, H.J. Keisler - 1990 - 649 Seiten
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard ...
Eingeschränkte Leseprobe - Über dieses Buch

Quantifiers: Logics, Models and Computation: Volume One: Surveys

Michal Krynicki, M. Mostowski, L.W. Szczerba - 2013 - 424 Seiten
Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern ...
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

Fundamentals of stability theory

John T. Baldwin - 1988 - 447 Seiten
This new volume of the Ã-series is written as an introduction to first order stability theory. It is organized around the the spectrum problem: calculate the number of models a ...

Provability, Computability and Reflection

Lev D. Beklemishev - 2000 - 207 Seiten
Provability, Computability and Reflection
Eingeschränkte Leseprobe - Über dieses Buch




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