Series: Lecture Notes in Logic

Aspects of Incompleteness

Logic Colloquium ''96

A Course in Model Theory

Logic Colloquium 2007

Logic Colloquium ''90

A Theory of Truth

A Comparison Process for Mouse Pairs

Wadge Degrees and Projective Ordinals

Logic Colloquium 2007

Lectures on Infinitary Model Theory

A General Algebraic Semantics for Sentential Logics

Complexity of Infinite-Domain Constraint Satisfaction

Logic and Algebraic Structures in Quantum Computing

Logic Colloquium 2006

The Core Model Iterability Problem

Fine Structure and Iteration Trees

Ordinal Definability and Recursion Theory

Gödel ''96

Kurt Godel

Effective Mathematics of the Uncountable

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Logic Colloquium ''95

Simple Theories and Hyperimaginaries

A Framework for Priority Arguments

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Turing''s Legacy

Logic Colloquium 2005

Descriptive Set Theory and Forcing

Quantifiers, Propositions and Identity

Logic Colloquium 2004

Abstract Recursion and Intrinsic Complexity

Kurt Gödel

Algorithmic Randomness

Stable Domination and Independence in Algebraically Closed Valued Fields

A Guide to NIP Theories

Bounded Variable Logics and Counting

Large Cardinals, Determinacy and Other Topics

Model Theory of Fields

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond

Games, Scales and Suslin Cardinals