Über Darstellungen der elementaren Funktionen II.
Über das Markov-Prinzip.
Über das Markov-Prinzip II.
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
Über den Untergruppenverband der symmetrischen Gruppe, den Unterhalbgruppenver-band der symmetrischen Halbgruppe und den Unter-algebrenverband der Postchen Algebra.
Über dichte Ordnungstypen.
Über die darstellbarkeit des syntaktischen monoïdes kontextfreier sprachen
Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre
Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrücke.
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.
Über die mit Stackautomaten berechenbaren Funktionen.
Über ein konstruktives Analogon eines Satzes von K. M. Garg über Ableitungszahlen
Über für-fast-alle-Quantoren.
Über Hilbert's reale und ideale Elemente.
Über katalogisierte Räume
Über konstruktive Methoden der Galoistheorie.
Über Mengen mit Trennrelationen
Über rekursive Strukturen.
Über Teilsysteme von ...({g}).
Über Zahlen als Zeichen