You are here

Logic Colloquium 2007

Fran&ccedim;oise Delon, Ulrich Kohlenbach, Penelope Maddy, and frank Stephan, editors
Publisher: 
Cambridge University Press
Publication Date: 
2010
Number of Pages: 
267
Format: 
Hardcover
Series: 
Lecture Notes in Logic
Price: 
90.00
ISBN: 
9780521760652
Category: 
Proceedings
We do not plan to review this book.

1. 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.