Logic Colloquium 2007

Herausgeber: Delon, Francoise; Maddy, Penelope; Kohlenbach, Ulrich

• Gebundenes Buch

Produktbeschreibung

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 282
• Erscheinungstermin: 1. Juli 2010
• Englisch
• Abmessung: 235mm x 157mm x 21mm
• Gewicht: 612g
• ISBN-13: 9780521760652
• ISBN-10: 0521760658
• Artikelnr.: 29985335

Inhaltsangabe

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.