S. Barry Cooper / Herman Geuvers / Anand et al. Pillay (Hrsg.)

Logic Colloquium 2006

Herausgeber: Cooper, S Barry; Väänänen, Jouko; Pillay, Anand; Geuvers, Herman

• Gebundenes Buch

Produktbeschreibung

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 384
• Erscheinungstermin: 7. September 2009
• Englisch
• Abmessung: 231mm x 155mm x 25mm
• Gewicht: 612g
• ISBN-13: 9780521110815
• ISBN-10: 0521110815
• Artikelnr.: 26432092

Inhaltsangabe

1. Definability and elementary equivalence in the Ershov difference hierarchy Marat M. Arslanov
2. A unified approach to algebraic set theory Benno van den Berg and Leke Moerdijk
3. Brief introduction to unprovability Andrey Bovykin
4. Higher-order abstract syntax in type theory Venanzio Capretta and Amy P. Felty
5. An introduction to b-minimality Raf Cluckers
6. The sixth lecture on algorithmic randomness Rod Downey
7. The inevitability of logical strength: strict reverse mathematics Harvey M. Friedman
8. Applications of logic in algebra: examples from clone theory
9. On infinite imaginaries Ehud Hrushovski
10. Strong minimal covers and a question of Yates: the story so far Andrew E. M. Lewis
11. Embeddings into the Turing degrees Antonio Montalban
12. Randomness - beyond Lebesgue measure Jan Reimann
13. The derived model theorem J. R. Steel
14. Forcing axioms and cardinal arithmetic Boban Velivckovic
15. Hrushovski's amalgamation construction Frank O. Wagner.