Mathematische Grundlagen und wesentliche Methoden einer formalen Theorie von Vorkommen und Substitutionen werden anhand der Theorie von Vorkommen von Termen in Termen (einer erststufigen formalen Sprache der Logik) eingeführt. ...
In der Diplomarbeit "Lindenbaumsätze für deduktive Systeme" wird die Äquivalenz verschiedener Versionen des Satzes von Lindenbaum, alle äquivalent zum Auswahlaxiom, ohne Rückgriff auf dieses Axiom gezeigt. Dies wird durch ...
