The following pages link to Michael Rathjen (Q206562):
Displaying 50 items.
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Proof-theoretic analysis of KPM (Q803124) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- On the constructive Dedekind reals (Q1000868) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Proof-theoretic investigations on Kruskal's theorem (Q1210137) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Proof theory of reflection (Q1332853) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- A note on the \(\Sigma_1\) spectrum of a theory (Q1407520) (← links)
- Realizing Mahlo set theory in type theory (Q1407579) (← links)
- (Q1612480) (redirect page) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Slow consistency (Q1935874) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- The strength of Martin-Löf type theory with a superuniverse. I (Q1976875) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\) (Q2179357) (← links)
- Derivatives of normal functions in reverse mathematics (Q2216034) (← links)
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
- Kripke-Platek Set Theory and the Anti-Foundation Axiom (Q2765565) (← links)
- Ordinal Analysis and the Infinite Ramsey Theorem (Q2904387) (← links)
- (Q2906572) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- (Q3081650) (← links)
- (Q3138834) (← links)
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN (Q3188340) (← links)
- Upper Bounds on the Graph Minor Theorem (Q3295150) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- (Q3464624) (← links)
- The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory (Q3613313) (← links)
- (Q3809793) (← links)
- The role of parameters in bar rule and bar induction (Q3984445) (← links)
