You are here

Logic Colloquium 2006

S. Barry Cooper, Herman Geuvers, Anand Pillay, and Jouko Väänänen, editors
Publisher: 
Cambridge University Press
Publication Date: 
2009
Number of Pages: 
373
Format: 
Hardcover
Series: 
Lecture Notes in Logic
Price: 
99.00
ISBN: 
9780521110815
Category: 
Proceedings
We do not plan to review this book.

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.

Tags: 

Dummy View - NOT TO BE DELETED