Introduction

the three foundational programmes

Sten Lindström, Erik Palmgren

1-23

Protocol sentences for lite logicism

John P. Burgess

27-46

Frege's context principle and reference to natural numbers

Øystein Linnebo

47-68

The measure of Scottish neo-logicism

Stewart Shapiro

69-90

Natural logicism via the logic of orderly pairing

Neil Tennant

91-125

A constructive version of the lusin separation theorem

Peter Aczel

129-151

Dini's theorem in the light of reverse mathematics

Josef Berger, Peter Schuster

153-166

Journey into apartness space

Douglas Bridges, Vita

167-187

Relativization of real numbers to a universe

Hajime Ishihara

189-207

100 years of Zermelo's axiom of choice

what was the problem with it?

Per Martin-Löf

209-219

Intuitionism and the anti-justification of bivalence

Peter Pagin

221-236

From intuitionistic to point-free topology

on the foundation of homotopy theory

Erik Palmgren

237-253

Program extraction in constructive analysis

Helmut Schwichtenberg

255-275

Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem

Wim Veldman

277-299

"Gödel's modernism: on set-theoretic incompleteness" revisited

Mark Van Atten, Juliette Kennedy

303-355

Tarski's practice and philosophy

between formalism and pragmatism

Hourya Benis-Sinaceur

357-396

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

Michael Rathjen

397-433

Categories, structures, and the Frege-Hilbert controversy

the status of meta-mathematics

Stewart Shapiro

435-448

Beyond Hilbert's reach?

Wilfried Sieg

449-483

Hilbert and the problem of clarifying the infinite

Soren Stenlund

485-503