Inexhaustibility

Torkel Franzén

• Paperback | Engels | Lecture Notes in Logic | nr. 16
• Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics Lees meer

The Core Model Iterability Problem

John R Steel

• Hardcover | Engels | Lecture Notes in Logic | nr. 8
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Games, Scales and Suslin Cardinals

• Hardcover | Engels | Lecture Notes in Logic
• The proceedings of the Los Angeles Caltech-UCLA "Cabal Seminar" were originally published in the 1970s and 1980s. Games, Scales, and Suslin Cardinals ... Lees meer

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond

Gregory Cherlin

• Hardcover | Engels | Lecture Notes in Logic | nr. 54
• This is the second of two volumes by Professor Cherlin presenting the state of the art in the classification of homogeneous structures in binary langu... Lees meer

Descriptive Set Theory and Forcing

Arnold W Miller

• Hardcover | Engels | Lecture Notes in Logic | nr. 4
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Quantifiers, Propositions and Identity

Robert Goldblatt

• Hardcover | Engels | Lecture Notes in Logic | nr. 38
• Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can ... Lees meer

Logic in Tehran

• Paperback | Engels | Lecture Notes in Logic | nr. 26
• This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories... Lees meer

Gödel '96

• Hardcover | Engels | Lecture Notes in Logic | nr. 6
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Stable Domination and Independence in Algebraically Closed Valued Fields

Deirdre Haskell, Ehud Hrushovski, Dugald MacPherson

• Paperback | Engels | Lecture Notes in Logic | nr. 30
• This book addresses a gap in the model-theoretic understanding of valued fields that has, until now, limited the interactions of model theory with geo... Lees meer

Recursion Theory

Joseph R Shoenfield

• Hardcover | Engels | Lecture Notes in Logic | nr. 1
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Fine Structure and Iteration Trees

William J. Mitchell, John R. Steel

• Paperback | Engels | Lecture Notes in Logic | nr. 3
• This monograph lays the foundations for the theory of canonical inner models of set theory which are large enough to satisfy the statement "There is a... Lees meer

Logic Colloquium '90

• Hardcover | Engels | Lecture Notes in Logic | nr. 2
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

Lectures on Infinitary Model Theory

David Marker

• Hardcover | Engels | Lecture Notes in Logic | nr. 46
• Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive ... Lees meer

Simple Theories and Hyperimaginaries

Enrique Casanovas

• Hardcover | Engels | Lecture Notes in Logic | nr. 39
• In the 1990s Kim and Pillay generalized stability, a major model theoretic idea developed by Shelah twenty-five years earlier, to the study of simple ... Lees meer

Kurt Gödel

Parsons Charles

• Hardcover | Engels | Lecture Notes in Logic | nr. 33
• Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his ... Lees meer

Wadge Degrees and Projective Ordinals

• Hardcover | Engels | Lecture Notes in Logic
• The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Wadge Degrees and Projective Ordinal... Lees meer

Aspects of Incompleteness

Per Lindström

• Hardcover | Engels | Lecture Notes in Logic | nr. 10
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

A General Algebraic Semantics for Sentential Logics

Josep M Font, Ramon Jansana

• Paperback | Engels | Lecture Notes in Logic | nr. 7
• The purpose of this monograph is to develop a very general approach to the algebra- ization of sententiallogics, to show its results on a number of pa... Lees meer

Ordinal Definability and Recursion Theory

• Hardcover | Engels | Lecture Notes in Logic
• The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion T... Lees meer

A General Algebraic Semantics for Sentential Logics

Josep Maria Font, Ramon Jansana

• Hardcover | Engels | Lecture Notes in Logic | nr. 7
• Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig... Lees meer

A Course in Model Theory

Katrin Tent, Martin Ziegler

• Hardcover | Engels | Lecture Notes in Logic | nr. 40
• This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplic... Lees meer

Inexhaustibility: A Non-Exhaustive Treatment

Torkel Franzén

• Hardcover | Engels | Lecture Notes in Logic | nr. 16
• Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: an... Lees meer

Descriptive Set Theory and Forcing

Arnold Miller

• Paperback | Engels | Lecture Notes in Logic | nr. 4
• An advanced graduate course. Some knowledge of forcing is assumed, and some elementary Mathematical Logic, e.g. the Lowenheim-Skolem Theorem. A studen... Lees meer

Gödel 96

• Paperback | Engels | Lecture Notes in Logic | nr. 6
• This is a proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel. The conference has been recognized as an ... Lees meer