Archiv
The crash of the philosophy of the Tractatus
the testimony of Wittgenstein's Notebooks in October 1929
2011
in: Interactive Wittgenstein, Berlin,
"Gödel's modernism: on set-theoretic incompleteness" revisited
2009
in: Logicism, intuitionism, and formalism, Berlin,
100 years of Zermelo's axiom of choice
what was the problem with it?
2009
in: Logicism, intuitionism, and formalism, Berlin,
A constructive version of the lusin separation theorem
2009
in: Logicism, intuitionism, and formalism, Berlin,
Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem
2009
in: Logicism, intuitionism, and formalism, Berlin,
Categories, structures, and the Frege-Hilbert controversy
the status of meta-mathematics
2009
in: Logicism, intuitionism, and formalism, Berlin,
Dini's theorem in the light of reverse mathematics
2009
in: Logicism, intuitionism, and formalism, Berlin,
Frege's context principle and reference to natural numbers
2009
in: Logicism, intuitionism, and formalism, Berlin,
From intuitionistic to point-free topology
on the foundation of homotopy theory
2009
in: Logicism, intuitionism, and formalism, Berlin,