Bøger i Lecture Notes in Logic serien

This book, the first on the rapidly expanding topic of NIP theories, gives an accessible introduction to the subject for students and researchers in model theory and related areas such as combinatorics and algebraic geometry. It covers the basic notions while presenting a concise, elegant tour through the main results.

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 particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others.

Alan Turing, whose centenary was celebrated worldwide in 2012, has come to be recognised as a genius of modern mathematics. This volume presents a diverse collection of essays, written by leading experts, on the many areas of logic and computer science that have their provenance in his work.

The Annual European Meeting of the Association for Symbolic Logic is among the most prestigious annual meetings in the field. Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world.

Large cardinal hypotheses play a central role in modern set theory. Here the author extends this theory so that it can produce core models satisfying "There is a Woodin cardinal", a large cardinal hypothesis which is the focus of much current research.

This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable mathematical domains. The perspectives explored within reveal different aspects of effective uncountable mathematics, making it an ideal resource for graduate and advanced undergraduate students and researchers in this exciting new area of study.

Papers examining aspects of Godel's work gathered from a symposium celebrating Goedel's centennial and papers from a 2004 ASL symposium.

Wadge Degrees and Projective Ordinals is the second of a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar' with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes.

In this collection of papers, outstanding members of the field provide a historical and philosophical treatment of a broad spectrum of theorems in arithmetic and set theory. Tennenbaum phenomena in arithmetics and a transcript of Goedel's 1972-1975 conversations with Sue Toledo are among the subjects treated in this volume.

The Annual European Meeting of the Association for Symbolic Logic - or Logic Colloquium - is among the most prestigious annual meetings in the field. Logic Colloquium 2006, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world.

The Annual European Meeting of the Association for Symbolic Logic is among the most prestigious annual meetings in the field. Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world.

This book presents a unifying framework for using priority arguments to prove theorems in computability.

Papers examining aspects of Godel's work gathered from a symposium celebrating Goedel's centennial and papers from a 2004 ASL symposium.

Games, Scales, and Suslin Cardinals is the first of a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar' with extensive unpublished material, new papers on related topics, and discussion of research developments since the publication of the original volumes.

Highlights of this volume from the 2004 meeting include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect 'abstract elementary classes' to issues around p-adic integration.