Logic List Mailing Archive

dialectica special issue on G�del's dialectica interpretation

To celebrate the 50th anniversary of G�del'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, Sch�tte, Skolem, Specker and
 
Wang): http://www3.interscience.wiley.com/journal/119884067/issue

It also published a special issue dedicated to G�del'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