Bøger i Lecture Notes in Logic serien

This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.

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.

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

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

This volume surveys many exciting recent developments in the field of algorithmic randomness and its interactions with other areas of mathematics, presenting a unified view of the theory. It will be a valuable reference for specialists and an excellent entry point for graduate students and other newcomers to the field.

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.

This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.

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

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.

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 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.

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, 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.