1. Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928;Awodey;Erkenntnis,2001
2. Carnap's dream: Gödel, Wittgenstein, and logical syntax;Awodey;Synthese,2007
3. Bachmann, F. (1936). Die Fragen der Abhängigkeit und der Entbehrlichkeit von Axiomen in Axiomensystemen, in denen ein Extremalaxiom auftritt. Actes du Congrés International de Philosophie Scientifique, Fasc 7, Paris: Herman, 39–53.
4. Zur Axiomatik der Geometrie I. Über Hilberts Vollständigkeitsaxiom;Baldus;Mathematische Annalen,1928
5. Über nicht beweisbare und doch entbehrliche Axiome;Baldus;Mathematische Zeitschrift,1938