Logic Colloquium 2007
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Cambridge University Press

9780511778421

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof mining in practice

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.006 ◽

2011 ◽

pp. 82-91

Author(s):

Philipp Gerhardy

Keyword(s):

Proof Mining

Cardinal preserving elementary embeddings

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.004 ◽

2011 ◽

pp. 14-31 ◽

Cited By ~ 1

Author(s):

Andrés Eduardo Caicedo

Keyword(s):

Elementary Embeddings

Speakers and Titles

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.002 ◽

2011 ◽

pp. xi-xiv

Three lectures on automatic structures

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.008 ◽

2011 ◽

pp. 132-176 ◽

Cited By ~ 11

Author(s):

Bakhadyr Khoussainov ◽

Mia Minnes

Keyword(s):

Automatic Structures

Pillay's conjecture and its solution—a survey

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.009 ◽

2011 ◽

pp. 177-203 ◽

Cited By ~ 3

Author(s):

Ya'acov Peterzil

Cardinal structure under AD

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.007 ◽

2011 ◽

pp. 92-131

Author(s):

Steve Jackson

Proof interpretations and majorizability

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.005 ◽

2011 ◽

pp. 32-81 ◽

Cited By ~ 1

Author(s):

Fernando Ferreira

Bounded super real closed rings

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.011 ◽

2011 ◽

pp. 220-237 ◽

Cited By ~ 1

Author(s):

Marcus Tressl

Introduction

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.001 ◽

2011 ◽

pp. ix-x

Author(s):

Françoise Delon ◽

Ulrich Kohlenbach ◽

Penelope Maddy ◽

Frank Stephan

Analytic combinatorics of the transfinite: A unifying Tauberian perspective

Logic Colloquium 2007 ◽

10.1017/cbo9780511778421.012 ◽

2011 ◽

pp. 238-267

Author(s):

Andreas Weiermann

Keyword(s):

Analytic Combinatorics