Definability in structures of finite valency
Definability in the extended arithmetic of ordinal numbers [Book]
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
Die Problematik apriorischer Wahrscheinlichkeiten im System der induktiven Logik von Rudolf Carnap.
Discourse on one way in which a quantum-mechanics language on the classical logical base can be built up