Table of Contents for: Logic Colloquium 2007

 Staff view

You must be logged in to Tag Records

Logic Colloquium 2007 /

edited by Françoise Delon ... [et al.].

Book Cover
Names: Delon, F.
Published: Cambridge ; Cambridge University Press, 2010.
Series: Lecture notes in logic ; 35.
Topics: Logic, Symbolic and mathematical - Congresses.
Tags: Add

Spaces will separate tags.
Use quotes for multi-word tags.

Decorated linear order types and the theory of concatenation / Vedran Čačić ... [et al.] -- Cardinal preserving elementary embeddings / Andrés Eduardo Caicedo -- Proof interpretations and majorizability / Fernando Ferreira -- Proof mining in practice / Philipp Gerhardy -- Cardinal structure under AD / Steve Jackson -- Three lectures on automatic structures / Bakhadyr Khoussainov and Mia Minnes -- Pillay's conjecture and its solution : a survey / Ya'acov Peterzil -- Proof theory and meaning : on the context of deducibility / Greg Restall -- Bounded super real closed rings / Marcus Tressl -- Analytic combinatorics of the transfinite : a unifying Tauberian perspective / Andreas Weiermann.
Loading Table of ContentsLoading

Table of Contents for: Logic Colloquium 2007