| Publication | Date of Publication | Type |
|---|
Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Mathematische Logik
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Remarks on Hilbert’s Proof Theory
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Zur Beweistheorie Von KPM
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
A contribution to a problem of directed graphs
Elemente der Mathematik | 2000-12-28 | Paper |
| scientific article; zbMATH DE number 888989 (Why is no real title available?) | 1996-09-09 | Paper |
| scientific article; zbMATH DE number 663929 (Why is no real title available?) | 1995-01-05 | Paper |
| scientific article; zbMATH DE number 193575 (Why is no real title available?) | 1993-06-05 | Paper |
Neue Fassung einer Verallgemeinerung des Satzes von Napoleon. (A new version of a generalization of the Theorem of Napoleon)
Elemente der Mathematik | 1989-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)
Archive for Mathematical Logic | 1988-01-01 | Paper |
Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
Archive for Mathematical Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4066876 (Why is no real title available?) | 1988-01-01 | Paper |
Eine Verallgemeinerung des Satzes von Napoleon. (A generalization of the Theorem of Napoleon)
Mathematische Semesterberichte | 1987-01-01 | Paper |
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
Archiv für Mathematische Logik und Grundlagenforschung | 1986-01-01 | Paper |
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3914318 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3739530 (Why is no real title available?) | 1981-01-01 | Paper |
Beweistheoretische Abgrenzung von Teilsystemen der Analysis
Monatshefte für Mathematik | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3702643 (Why is no real title available?) | 1980-01-01 | Paper |
Die Entwicklung der Beweistheorie
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3630693 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3572133 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3557777 (Why is no real title available?) | 1976-01-01 | Paper |
Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
Archiv für Mathematische Logik und Grundlagenforschung | 1976-01-01 | Paper |
Einführung der NormalfunktionenΘ a ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung
Archiv für Mathematische Logik und Grundlagenforschung | 1976-01-01 | Paper |
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
Archiv für Mathematische Logik und Grundlagenforschung | 1971-01-01 | Paper |
A characterization of Takeuti's ordinal diagrams of finite order
Archiv für Mathematische Logik und Grundlagenforschung | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3402621 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3252193 (Why is no real title available?) | 1968-01-01 | Paper |
Ein konstruktives system von Ordinalzahlen
Archiv für Mathematische Logik und Grundlagenforschung | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3332435 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3330722 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3361863 (Why is no real title available?) | 1968-01-01 | Paper |
Non-uniqueness at ω2 in Kleene'sO
Archiv für Mathematische Logik und Grundlagenforschung | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3217001 (Why is no real title available?) | 1965-01-01 | Paper |
Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
Archiv für Mathematische Logik und Grundlagenforschung | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3254876 (Why is no real title available?) | 1965-01-01 | Paper |
Minimale Durchmesser endlicher Punktmengen mit vorgeschriebenem Mindestabstand
Mathematische Annalen | 1963-01-01 | Paper |
Der Interpolationssatz der intuitionistischen Prädikatenlogik
Mathematische Annalen | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3195390 (Why is no real title available?) | 1962-01-01 | Paper |
Ein Formales System der Klassischen Aussagenlogik mit Einer Einzigen Grundverknüpfung
Archiv für Mathematische Logik und Grundlagenforschung | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3167150 (Why is no real title available?) | 1960-01-01 | Paper |
Syntactical and semantical properties of simple type theory
Journal of Symbolic Logic | 1960-01-01 | Paper |
AUSSAGENLOGISCHE GRUNDEIGENSCHAFTEN FORMALER SYSTEME
Dialectica | 1958-01-01 | Paper |
Der projektiv erweiterte Gruppenraum der ebenen Bewegungen
Mathematische Annalen | 1957-01-01 | Paper |
Ein System des Verknüpfenden Schliessens
Archiv für Mathematische Logik und Grundlagenforschung | 1956-01-01 | Paper |
Gruppentheoretisches Axiomensystem einer verallgemeinerten euklidischen Geometrie
Mathematische Annalen | 1956-01-01 | Paper |
Schließungssätze für orthogonale Abbildungen euklidischer Ebenen
Mathematische Annalen | 1956-01-01 | Paper |
Überdeckungen der Kugel mit höchstens acht Kreisen
Mathematische Annalen | 1955-01-01 | Paper |
Ein Schließungssatz für Inzidenz und Orthogonalität
Mathematische Annalen | 1955-01-01 | Paper |
Die Winkelmetrik in der affin-orthogonalen Ebene
Mathematische Annalen | 1955-01-01 | Paper |
Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
Mathematische Annalen | 1954-01-01 | Paper |
Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
Mathematische Zeitschrift | 1954-01-01 | Paper |
Das Problem der dreizehn Kugeln
Mathematische Annalen | 1953-01-01 | Paper |
Zur Widerspruchsfreiheit einer typenfreien Logik
Mathematische Annalen | 1953-01-01 | Paper |
Beweistheoretische Untersuchung der verzweigten Analysis
Mathematische Annalen | 1952-01-01 | Paper |
Auf welcher Kugel haben 5, 6, 7, 8 oder 9 Punkte mit Mindestabstand Eins Platz?
Mathematische Annalen | 1951-01-01 | Paper |
Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
Mathematische Annalen | 1951-01-01 | Paper |
Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis
Mathematische Annalen | 1951-01-01 | Paper |
Eine bemerkung über Quasirekursive Funktionen
Archiv für Mathematische Logik und Grundlagenforschung | 1951-01-01 | Paper |
Schlussweisen-Kalküle der Prädikatenlogik
Mathematische Annalen | 1950-01-01 | Paper |
Untersuchungen zum Entscheidungsproblem der mathematischen Logik
Mathematische Annalen | 1934-01-01 | Paper |
Über die Erfüllbarkeit einer Klasse von logischen Formeln
Mathematische Annalen | 1934-01-01 | Paper |
Über die Erfüllbarkeit einer Klasse von logischen Formeln.
Mathematische Annalen | 1934-01-01 | Paper |
Untersuchungen zum Entscheidungsproblem der mathematischen Logik.
Mathematische Annalen | 1934-01-01 | Paper |
Über einen Teilbereich des Aussagenkalküls.
Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. Classe III | 1933-01-01 | Paper |
