BeschreibungThe 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
Inhaltsverzeichnis1. Decorated linear order types and the theory of concatenation Vedran Cacic, Pavel Pudlak, Greg Restall, Alasdair Urquhart and Albert Visser; 2. Cardinal preserving elementary embeddings Andres Eduardo Caicedo; 3. Proof interpretations and majorizability Fernando Ferreira; 4. Proof mining in practice Philipp Gerhardy; 5. Cardinal structure under AD Steve Jackson; 6. Three lectures on automatic structures Bakhadyr Khoussainov and Mia Minnes; 7. Pillay's conjecture and its solution - a survey Ya'acov Peterzil; 8. Proof theory and meaning: on the context of deducibility Greg Restall; 9. Bounded super real closed rings Marcus Tressl; 10. Analytic combinatorics of the transfinite: a unifying Tauberian perspective Andreas Weiermann.
PortraitFrancoise Delon was Directrice d'etudes at the Centre de Formation des PEGC of Reims and Humboldt Stipendiatin at Freiburg and is presently a Directrice de Recherche at Centre National de la Recherche Scientifique. Ulrich Kohlenbach is a Professor of Mathematics at TU Darmstadt (Germany). He is the coordinating editor of Annals of Pure and Applied Logic and the President of the Deutsche Vereinigung fur Mathematische Logik und fur Grundlagen der Exakten Wissenschaften. Penelope Maddy is a Distinguished Professor of Logic and Philosophy of Science at the University of California, Irvine. She is a Fellow of the American Academy of Arts and Sciences and currently the President of the Association for Symbolic Logic. Frank Stephan is an Associated Professor in the Departments of Mathematics and Computer Science at the National University of Singapore. He is the editor of the Journal of Symbolic Logic.
Untertitel: 'Lecture Notes in Logic'. Sprache: Englisch.
Verlag: CAMBRIDGE UNIV PR
Erscheinungsdatum: Juli 2010
Seitenanzahl: 267 Seiten