Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
These notes develop the theory of descriptive sets, leading up to a new proof of Louveau's separation theorem for analytic sets. A first course in mathematical logic and set theory is assumed, making this book suitable for advanced students and researchers.
Bemærk: Kan ikke leveres før jul.
The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof... Læs mere
Bemærk: Kan ikke leveres før jul.
An introduction to recursion theory that will prepare the reader for the study of advanced monographs and the current literature on the topic. The clarity and focus of this text makes it an ideal instrument for teaching and self-study.
Bemærk: Kan ikke leveres før jul.
This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.
Bemærk: Kan ikke leveres før jul.
This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, a-recursion, and E-recursion.
Bemærk: Kan ikke leveres før jul.
Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory using the theory of iteration trees. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders.
Bemærk: Kan ikke leveres før jul.
This book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas of... Læs mere
Bemærk: Kan ikke leveres før jul.
A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.
Bemærk: Kan ikke leveres før jul.
To commemorate the centenary of Turing's birth, this republication of his mother's biography contains a new foreword by Martin Davis and a never-before-published memoir... Læs mere
Bemærk: Kan ikke leveres før jul.
This radical volume explores the purposes and nature of proof in a range of historical settings, overturning the view that the first mathematical... Læs mere
Bemærk: Kan ikke leveres før jul.
Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium.
Bemærk: Kan ikke leveres før jul.
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... Læs mere