Reflections on Frege and Hilbert

Bernd Buldt, Volker Halbach, Reinhard Kahle

1-2

Amending Frege's Grundgesetze der Arithmetik

Fernando Ferreira

3-19

Real numbers and set theory – extending the neo-Fregean programme beyond arithmetic

Bob Hale

21-41

Frege's permutation argument revisited

Kai Wehmeier, Peter Schroeder-Heister

43-61

Problems and riddles

Hilbert and the Du Bois-Reymonds

Mccarthy

63-79

The constructive Hilbert program and the limits of Martin-löf type theory

Michael Rathjen

81-120

Dedekind's analysis of number

systems and axioms

Wilfried Sieg, Dirk Schlimm

121-170

Against against intuitionism

Dirk Schlimm

171-188