22.01.2001 15:00
Gödel Logics, Scattered Orders and BQO's
02.01.2001
Madhvas Mahābhāratatātparyanirṇaya (Adhyāya I und II) – Übersetzung, Analyse und Kommentar
11.12.2000 15:00
Natural axioms of Set Theory that settle Cantor's Continuum problem
05.12.2000 15:00
WQO and BQO theory in subsystems of second order arithmetic
28.11.2000 15:00
On Belnap-Gupta Revision Theories of Truth, the Next Stable Set and Kripkean Fixed Points
24.11.2000 15:00