Logic Colloquium 2007
Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan (Editors)
Year: 2010
ISBN-13: 9780521760652
282 pages. Hardcover.
Buy now (when ordering, include the discount code ASL2016 to receive the 25% ASL member discount)
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, 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 volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay�s conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.
Table of Contents
- Introduction
Speakers and Titles - Vedran Cacic, Pavel Pudlak, Greg Restall, Alasdair Urquhart and Albert Visser
Decorated linear order types and the theory of concatenation - Andres Eduardo Caicedo
Cardinal preserving elementary embeddings - Fernando Ferreira
Proof interpretations and majorizability - Philipp Gerhardy
Proof mining in practice - Steve Jackson
Cardinal structure under AD - Bakhadyr Khoussainov and Mia Minnes
Three lectures on automatic structures - Ya’acov Peterzil
Pillay’s conjecture and its solution – a survey - Proof theory and meaning: on the context of deducibility Greg Restall
- Marcus Tressl
Bounded super real closed rings - Andreas Weiermann
Analytic combinatorics of the transfinite: a unifying Tauberian perspective