[FOM] Fwd: Re: JRNL: Goedel's dialectica interpretation

T.Forster@dpmms.cam.ac.uk T.Forster at dpmms.cam.ac.uk
Thu Nov 27 13:57:23 EST 2008

Among the treasures in this volume is the second of Specker's three papers 
on Quine's set theory.  (Really it's about how automorphisms of languages 
and theories give rise to automorphisms of models, starting with 
point/line duality in geometry.) There is an annotated English translation 
of it available on


which listmembers might like to see. Suggestions for improvement in the 
commentary welcome!

On Wed, 26 Nov 2008, 
Philipp Keller wrote:

> 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 Gödel! Gödel 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
> Gödel'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 Gödel'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

URL:  www.dpmms.cam.ac.uk/~tf;
DPMMS ph: +44-1223-337981;
UEA ph:  +44-1603-592719
mobile in UK +44-7887-701-562;
mobile in US: +1-412-818-1316;
mobile in NZ +64-210580093.

More information about the FOM mailing list