You are here

Logic Colloquium 2007

Publisher: 
Cambridge University Press
Number of Pages: 
267
Price: 
90.00
ISBN: 
9780521760652
Date Received: 
Monday, July 5, 2010
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Fran&ccedim;oise Delon, Ulrich Kohlenbach, Penelope Maddy, and frank Stephan, editors
Series: 
Lecture Notes in Logic
Publication Date: 
2010
Format: 
Hardcover
Category: 
Proceedings

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.

Publish Book: 
Modify Date: 
Monday, July 5, 2010

Dummy View - NOT TO BE DELETED