The following pages link to Helmut Pfeiffer (Q1288968):
Displayed 32 items.
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- (Q593642) (redirect page) (← links)
- A new model for intuitionistic analysis (Q750439) (← links)
- Proof-theoretic analysis of KPM (Q803124) (← links)
- Weak comparability of well orderings and reverse mathematics (Q918549) (← links)
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J)) (Q1102279) (← links)
- 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) (Q1102955) (← links)
- Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) (Q1121880) (← links)
- A two-storied universe of transfinite mechanisms (Q1121881) (← links)
- A general method of axiomatizing fragments (Q1176090) (← links)
- Proof-theoretic investigations on Kruskal's theorem (Q1210137) (← links)
- Marginalia on sequent claculi (Q1288969) (← links)
- A cut-elimination proof in intuitionistic predicate logic (Q1304543) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- An intuitionistic fixed point theory (Q1386672) (← links)
- Two measures for proving Gentzen's Hauptsatz without mix (Q1407599) (← links)
- Ordinal diagrams for recursively Mahlo universes (Q1576592) (← links)
- Proof theory. An introduction (Q1801306) (← links)
- Slow versus fast growing (Q1868156) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Proof-theoretic analysis of termination proofs (Q1899143) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Notation systems for infinitary derivations (Q2277451) (← links)
- A simple sequent calculus for partial functions (Q2367544) (← links)
- A theorem on labelled trees and the limits of its provability (Q3199414) (← links)
- Some System of Predicate Tense Logic (Q3695255) (← links)
- Über zwei Bezeichnungssysteme für Ordinalzahlen (Q4103077) (← links)
- A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS (Q4295245) (← links)
- Vergleich zweier Bezeichnungssysteme für Ordinalzahlen (Q4405143) (← links)
- Ein Bezeichnungssystem für Ordinalzahlen (Q5588636) (← links)
- Ein Bezeichnungssystem für Ordinalzahlen (Q5609380) (← links)