Logic List Mailing Archive

To celebrate the 50th anniversary of Gdel's dialectica interpretation,
 
dialectica has made freely available the whole issue (including papers by
 
Ackerman, Beth, Carnap, Curry, Fraenkel, Gonseth, Goodstein, Hermes, 
Heyting, Kreisel, Peter, Robinson, Schmidt, Schtte, Skolem, Specker and
 
Wang): http://www3.interscience.wiley.com/journal/119884067/issue

It also published a special issue dedicated to Gdel's dialectica 
interpretation, edited by Thomas Strahm (University of Berne):

Introduction Thomas Strahm 
http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01143.x?a
i=k1d&ui=fo8v&af=T

Functional Interpretations of Constructive Set Theory in All Finite Types
 
Justus Diller 
http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01133.x?a
i=k1d&ui=fo8v&af=T

Lieber Herr Bernays!, Lieber Herr Godel! Godel on finitism, constructivity
 
and Hilbert's program Solomon Feferman 
http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01136.x?a
i=k1d&ui=fo8v&af=T

A Most Artistic Package of a Jumble of Ideas Fernando Ferreira 
http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01134.x?a
i=k1d&ui=fo8v&af=T

Godel's Functional Interpretation and its Use in Current Mathematics 
Ulrich Kohlenbach 
http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01141.x?a
i=k1d&ui=fo8v&af=T

An Analysis of Godel's dialectica Interpretation via Linear Logic Paulo 
Oliva 
http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01135.x?a
i=k1d&ui=fo8v&af=T