| Publication | Date of Publication | Type |
|---|
| Mathematische Logik | 2021-12-03 | Paper |
| Remarks on Hilbert’s Proof Theory | 2021-12-03 | Paper |
| Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion | 2021-12-03 | Paper |
| Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie | 2021-12-03 | Paper |
| Zur Beweistheorie Von KPM | 2021-12-03 | Paper |
| Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref | 2021-12-03 | Paper |
| A contribution to a problem of directed graphs | 2000-12-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4882047 | 1996-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309506 | 1995-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040375 | 1993-06-05 | Paper |
| Neue Fassung einer Verallgemeinerung des Satzes von Napoleon. (A new version of a generalization of the Theorem of Napoleon) | 1989-01-01 | Paper |
| Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J)) | 1988-01-01 | Paper |
| Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger) | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3800031 | 1988-01-01 | Paper |
| Eine Verallgemeinerung des Satzes von Napoleon. (A generalization of the Theorem of Napoleon) | 1987-01-01 | Paper |
| Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger | 1986-01-01 | Paper |
| Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690813 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926576 | 1981-01-01 | Paper |
| Beweistheoretische Abgrenzung von Teilsystemen der Analysis | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3895466 | 1980-01-01 | Paper |
| Die Entwicklung der Beweistheorie | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192034 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4143279 | 1977-01-01 | Paper |
| Einführung der NormalfunktionenΘ a ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung | 1976-01-01 | Paper |
| Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133625 | 1976-01-01 | Paper |
| Simultane Rekursionen in der Theorie der Funktionale endlicher Typen | 1971-01-01 | Paper |
| A characterization of Takeuti's ordinal diagrams of finite order | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668476 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538910 | 1968-01-01 | Paper |
| Ein konstruktives system von Ordinalzahlen | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608748 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609352 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5635431 | 1968-01-01 | Paper |
| Non-uniqueness at ω2 in Kleene'sO | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344167 | 1965-01-01 | Paper |
| Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541311 | 1965-01-01 | Paper |
| Minimale Durchmesser endlicher Punktmengen mit vorgeschriebenem Mindestabstand | 1963-01-01 | Paper |
| Der Interpolationssatz der intuitionistischen Prädikatenlogik | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731779 | 1962-01-01 | Paper |
| Ein Formales System der Klassischen Aussagenlogik mit Einer Einzigen Grundverknüpfung | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3285631 | 1960-01-01 | Paper |
| Syntactical and semantical properties of simple type theory | 1960-01-01 | Paper |
| AUSSAGENLOGISCHE GRUNDEIGENSCHAFTEN FORMALER SYSTEME | 1958-01-01 | Paper |
| Der projektiv erweiterte Gruppenraum der ebenen Bewegungen | 1957-01-01 | Paper |
| Schließungssätze für orthogonale Abbildungen euklidischer Ebenen | 1956-01-01 | Paper |
| Gruppentheoretisches Axiomensystem einer verallgemeinerten euklidischen Geometrie | 1956-01-01 | Paper |
| Ein System des Verknüpfenden Schliessens | 1956-01-01 | Paper |
| Überdeckungen der Kugel mit höchstens acht Kreisen | 1955-01-01 | Paper |
| Ein Schließungssatz für Inzidenz und Orthogonalität | 1955-01-01 | Paper |
| Die Winkelmetrik in der affin-orthogonalen Ebene | 1955-01-01 | Paper |
| Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen | 1954-01-01 | Paper |
| Ein widerspruchsloses System der Analysis auf typenfreier Grundlage | 1954-01-01 | Paper |
| Das Problem der dreizehn Kugeln | 1953-01-01 | Paper |
| Zur Widerspruchsfreiheit einer typenfreien Logik | 1953-01-01 | Paper |
| Beweistheoretische Untersuchung der verzweigten Analysis | 1952-01-01 | Paper |
| Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie | 1951-01-01 | Paper |
| Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis | 1951-01-01 | Paper |
| Auf welcher Kugel haben 5, 6, 7, 8 oder 9 Punkte mit Mindestabstand Eins Platz? | 1951-01-01 | Paper |
| Eine bemerkung über Quasirekursive Funktionen | 1951-01-01 | Paper |
| Schlussweisen-Kalküle der Prädikatenlogik | 1950-01-01 | Paper |
| Untersuchungen zum Entscheidungsproblem der mathematischen Logik | 1934-01-01 | Paper |
| Über die Erfüllbarkeit einer Klasse von logischen Formeln | 1934-01-01 | Paper |
| Über die Erfüllbarkeit einer Klasse von logischen Formeln. | 1934-01-01 | Paper |
| Untersuchungen zum Entscheidungsproblem der mathematischen Logik. | 1934-01-01 | Paper |
| Über einen Teilbereich des Aussagenkalküls. | 1933-01-01 | Paper |
