[FOM] dialectica special issue on Gödel's dialect ica interpretation

Philipp Keller Philipp.Keller at unige.ch
Tue Nov 25 15:59:40 EST 2008


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?ai=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?ai=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?ai=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?ai=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?ai=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?ai=k1d&ui=fo8v&af=T 





-- 
Philipp Keller, philipp.keller at unige.ch
Department of Philosophy, University of Geneva
2 rue de Candolle, CH-1211 Geneva, Switzerland
managing editor of dialectica
coordinator of eidos, the Genevan Center for Metaphysics
http://www.philosophie.ch/philipp/
http://www.philosophie.ch/eidos/
http://www.blackwellpublishing.com/dialectica/






More information about the FOM mailing list