Ein entscheidbares Fragment der Logik zweiter Ordnung mit Anwendungen auf die Synthese