Michael Rathjen

73 papers C 5Misc 1Journal 64Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Feferman's Completeness Theorem.
Bull. Symb. Log.
Fedor Pakhomov, Michael Rathjen, Dino Rossegger
2025 J jnl
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.
Arch. Math. Log.
Stewart Shapiro, Charles McCarty, Michael Rathjen
2024 J jnl
Admissible extensions of subtheories of second order arithmetic.
Ann. Pure Appl. Log.
Gerhard Jäger, Michael Rathjen
2024 J jnl
Constructing the constructible universe constructively.
Ann. Pure Appl. Log.
Richard Matthews, Michael Rathjen
2023 J jnl
Choice and independence of premise rules in intuitionistic set theory.
Ann. Pure Appl. Log.
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
2022 J jnl
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
2021 J jnl
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
2021 J jnl
Derivatives of normal functions in reverse mathematics.
Ann. Pure Appl. Log.
Anton Freund, Michael Rathjen
2021 J jnl
Extensional realizability for intuitionistic set theory.
J. Log. Comput.
Emanuele Frittaion, Michael Rathjen
2021 J jnl
No speedup for geometric theories.
CoRR
Michael Rathjen
2020 J jnl
Lifschitz Realizability as a Topological Construction.
J. Symb. Log.
Michael Rathjen, Andrew W. Swan
2020 J jnl
Minimal bad sequences are necessary for a uniform Kruskal theorem.
CoRR
Anton Freund, Michael Rathjen, Andreas Weiermann
2020 J jnl
Power Kripke-Platek set theory and the axiom of choice.
J. Log. Comput.
Michael Rathjen
2019 C conf
A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ).
CiE
Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen
2019 J jnl
Preservation of choice principles under realizability.
Log. J. IGPL
Eman Dihoum, Michael Rathjen
2019 J jnl
Upper bounds on the graph minor theorem.
CoRR
Martin Krombholz, Michael Rathjen
2017 J jnl
An order-theoretic characterization of the Howard-Bachmann-hierarchy.
Arch. Math. Log.
Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann
2017 J jnl
Long Sequences of Descending Theories and other Miscellanea on Slow Consistency.
FLAP
Michael Rathjen
2017 J jnl
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition.
Arch. Math. Log.
Michael Rathjen, Jeroen Van der Meeren, Andreas Weiermann
2016 J jnl
Classifying the Provably Total set Functions of KP and KP(P).
FLAP
Michael Rathjen, Jacob Cook
2016 J jnl
Indefiniteness in Semi-Intuitionistic Set Theories: on a Conjecture of Feferman.
J. Symb. Log.
Michael Rathjen
2015 J jnl
Well-partial-orderings and the big Veblen number.
Arch. Math. Log.
Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann
2014 J jnl
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience.
Ann. Pure Appl. Log.
Michael Rathjen
2014 J jnl
Relativized ordinal analysis: The case of Power Kripke-Platek set theory.
Ann. Pure Appl. Log.
Michael Rathjen
2013 C conf
Realizability Models Separating Various Fan Theorems.
CiE
Robert S. Lubarsky, Michael Rathjen
2013 J jnl
Slow consistency.
Ann. Pure Appl. Log.
Sy-David Friedman, Michael Rathjen, Andreas Weiermann
2012 — ch.
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions.
Epistemology versus Ontology
Michael Rathjen
2012 J jnl
From the weak to the strong existence property.
Ann. Pure Appl. Log.
Michael Rathjen
2012 J jnl
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.
Arch. Math. Log.
Ray-Ming Chen, Michael Rathjen
2012 C conf
Ordinal Analysis and the Infinite Ramsey Theorem.
CiE
Bahareh Afshari, Michael Rathjen
2012 J jnl
The Friedman - Sheard programme in intuitionistic logic.
J. Symb. Log.
Graham Emil Leigh, Michael Rathjen
2010 J jnl
A note on the theory of positive induction, ID
Arch. Math. Log.
Bahareh Afshari, Michael Rathjen
2010 J jnl
An ordinal analysis for theories of self-referential truth.
Arch. Math. Log.
Graham Emil Leigh, Michael Rathjen
2009 J jnl
Reverse mathematics and well-ordering principles: A pilot study.
Ann. Pure Appl. Log.
Bahareh Afshari, Michael Rathjen
2008 J jnl
On the constructive Dedekind reals.
Log. Anal.
Robert S. Lubarsky, Michael Rathjen
2008 J jnl
The natural numbers in constructive set theory.
Math. Log. Q.
Michael Rathjen
2007 Misc conf
On the Constructive Dedekind Reals: Extended Abstract.
LFCS
Robert S. Lubarsky, Michael Rathjen
2007 C conf
Theories and Ordinals: Ordinal Analysis.
CiE
Michael Rathjen
2006 J jnl
A note on Bar Induction in Constructive Set Theory.
Math. Log. Q.
Michael Rathjen
2006 J jnl
Characterizing the interpretation of set theory in Martin-Löf typetheory.
Ann. Pure Appl. Log.
Michael Rathjen, Sergei Tupailo
2006 C conf
Models of Intuitionistic Set Theories over Partial Combinatory Algebras.
TAMC
Michael Rathjen
2006 J jnl
Theories and Ordinals in Proof Theory.
Synth.
Michael Rathjen
2005 J jnl
An ordinal analysis of parameter free Pi
Arch. Math. Log.
Michael Rathjen
2005 J jnl
An ordinal analysis of stability.
Arch. Math. Log.
Michael Rathjen
2005 J jnl
Constructive Set Theory and Brouwerian Principles.
J. Univers. Comput. Sci.
Michael Rathjen
2005 — ch.
Generalized Inductive Definitions in Constructive Set Theory.
From sets and types to topology and analysis
Michael Rathjen
2005 J jnl
Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory.
Ann. Pure Appl. Log.
Michael Rathjen
2005 J jnl
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.
Synth.
Michael Rathjen
2005 J jnl
The disjunction and related properties for constructive Zermelo-Fraenkel set theory.
J. Symb. Log.
Michael Rathjen
2003 J jnl
On the regular extension axiom and its variants.
Math. Log. Q.
Michael Rathjen, Robert S. Lubarsky
2003 J jnl
Realizing Mahlo set theory in type theory.
Arch. Math. Log.
Michael Rathjen
2002 J jnl
A note on the Sigma1 spectrum of a theory.
Arch. Math. Log.
Michael Möllerfeld, Michael Rathjen
2002 J jnl
Inaccessible set axions may have little consistency strength.
Ann. Pure Appl. Log.
Laura Crosilla, Michael Rathjen
2001 J jnl
Kripke-Platek Set Theory and the Anti-Foundation Axiom.
Math. Log. Q.
Michael Rathjen
2001 J jnl
The strength of Martin-Löf type theory with a superuniverse. Part II.
Arch. Math. Log.
Michael Rathjen
2000 J jnl
The strength of Martin-Löf type theory with a superuniverse. Part I.
Arch. Math. Log.
Michael Rathjen
1999 J jnl
Explicit Mathematics with The Monotone Fixed Point Principle. II: Models.
J. Symb. Log.
Michael Rathjen
1998 J jnl
Explicit Mathematics with the Monotone Fixed Point Principle.
J. Symb. Log.
Michael Rathjen
1998 J jnl
Inaccessibility in Constructive Set Theory and Type Theory.
Ann. Pure Appl. Log.
Michael Rathjen, Edward R. Griffor, Erik Palmgren
1997 J jnl
On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics.
Ann. Pure Appl. Log.
Thomas Glaß, Michael Rathjen, Andreas Schlüter
1996 J jnl
Monotone Inductive Definitions in Explicit Mathematics.
J. Symb. Log.
Michael Rathjen
1996 J jnl
The Recursively Mahlo Property in Second Order Arithmetic.
Math. Log. Q.
Michael Rathjen
1995 J jnl
Recent advances in ordinal analysis: pi
Bull. Symb. Log.
Michael Rathjen
1995 — conf
The Higher Infinite in Proof Theory.
Logic Colloquium
Michael Rathjen
1994 J jnl
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM.
Arch. Math. Log.
Michael Rathjen
1994 J jnl
Proof Theory of Reflection.
Ann. Pure Appl. Log.
Michael Rathjen
1994 J jnl
The strength of some Martin-Löf type theories.
Arch. Math. Log.
Edward R. Griffor, Michael Rathjen
1993 J jnl
How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible Ordinals.
Math. Log. Q.
Michael Rathjen
1993 J jnl
Proof-Theoretic Investigations on Kruskal's Theorem.
Ann. Pure Appl. Log.
Michael Rathjen, Andreas Weiermann
1992 J jnl
A Proof-Theoretic Characterization of the Primitive Recursive Set Functions.
J. Symb. Log.
Michael Rathjen
1991 J jnl
Proof-theoretic analysis of KPM.
Arch. Math. Log.
Michael Rathjen
1991 J jnl
The Role of Parameters in Bar Rule and Bar Induction.
J. Symb. Log.
Michael Rathjen
1990 J jnl
Ordinal notations based on a weakly Mahlo cardinal.
Arch. Math. Log.
Michael Rathjen