Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. Matthias Ragaz — 1983 Archiv für mathematische Logik und Grundlagenforschung
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre. Matthias Ragaz — 1983 Archiv für mathematische Logik und Grundlagenforschung
Parallelizable algebras. Matthias Ragaz — 1987 Archiv für mathematische Logik und Grundlagenforschung