Preprints
Some Preprints and Papers

  • Title: An ordinal analysis for theories of self-referential truth.
    Authors:G. Leigh, M. Rathjen.
    To appear in: Archive for Mathematical Logic.

  • Title: Reverse Mathematics and Well-Ordering Principles.
    Authors: M. Rathjen, A. Weiermann.
    To appear in CIE 2007. pdf-file

  • Title: Reverse Mathematics and Well-Ordering Principles: A Pilot Study.
    Authors: B. Afshari, M. Rathjen.
    To appear in: Annals of Pure and Applied Logic. pdf-file

  • Title: The constructive Hilbert program and the limits of Martin-Löf Type Theory.
    Author: M. Rathjen.
    In: Logicism, Intuitionism, and Formalism: What has become of them? Synthese Library Volume 341 (Springer 2009)

  • Title: On the constructive Dedekind reals.
    Authors: R. Lubarsky, M. Rathjen.
    Logic and Analysis 1 (2008) 131-152.

  • Title: The natural numbers in constructive set theory.
    Author: M. Rathjen.
    Mathematical Logic Quarterly 54 (2008) 287-312.

  • Title: Metamathematical Properties of Intuitionistic Set Theories with Choice Principles.
    Author: M. Rathjen.
    In: Cooper, Loewe, Sorbi: New Computational Paradigms (Springer 2008) 84-98. pdf-file

  • Title: The Art of Ordinal Analysis.
    Author: M. Rathjen.
    In: Proceedings of the International Congress of Mathematicians, Volume II (European Mathematical Society, 2006) 45-69.

  • Title: Constructive Set Theory and Brouwerian Principles.
    Author: M. Rathjen.
    Journal of Universal Computer Science 11 (2005) 2008-2033. pdf-file

  • Title: A note on Bar Induction in Constructive Set Theory.
    Author: M. Rathjen.
    Mathematical Logic Quarterly 52 (2006) 253-258. pdf-file

  • Title: The disjunction and other properties for Constructive Zermelo-Fraenkel Set theory.
    Author: M. Rathjen.
    Journal of symbolic Logic 70 (2005) 1233-1254
    pdf-file

  • Title: Realizability for Constructive Zermelo-Fraenkel Set Theory.
    Author: M. Rathjen.
    Logic Colloquium 2003. Lecture Notes In Logic 141 (2006) 442-471. pdf-file

  • Title: Replacement versus Collection in Constructive Zermelo-Fraenkel Set Theory.
    Author: M. Rathjen.
    Annals of Pure and Applied Logic 136 (2005) 156-174. pdf-file

  • Title: Characterizing the interpretation of set theory in Martin-Löf type theory.
    Authors: M. Rathjen and S. Tupailo.
    Annals of Pure and Applied Logic 141 (2006) 253-258.
    pdf-file

  • Title: Generalized inductive definitions in constructive set theory.
    Author: M. Rathjen.
    pdf-file

  • Title: On the regular extension axiom and its variants.
    Authors: M. Rathjen and Robert Lubarsky.
    Mathematical Logic Quarterly 49 (2003) 1-8.
    pdf-file

  • Title: The formulae-as-classes interpretation of constructive set theory.
    Author: M. Rathjen.
    pdf-file

  • Title: Constructive choice principles in constructive and classical set theories.
    Author: M. Rathjen.
    Lecture Notes in Logic 27 (2006) 299-326. Postscript file

  • Title: Inaccessible set axioms may have little consistency strength.
    Authors: L. Crosilla and M. Rathjen.
    Annals of Pure and Applied Logic 115 (2002) 33-70. pdf-file

  • Title: An ordinal analysis of parameter free Pi-1-2-comprehension:
    Authors: M. Rathjen.
    Archive for Mathematical Logic 44 (2005) 263-362.
    Postscript file

  • Title: An ordinal analysis of stability.
    Authors: M. Rathjen.
    Archive for Mathematical Logic 44 (2005) 1-62.
    Postscript file

  • Title: The anti-foundation axiom in constructive set theories.
    Authors: M. Rathjen.
    Postscript file

  • Title: Kripke-Platek set theory and the anti-foundation axiom.
    Authors: M. Rathjen.
    Postscript file

  • Title: Explicit mathematics with monotone inductive definitions: A survey.
    Authors: M. Rathjen.
    Postscript file

  • Title: Realizing Mahlo set theory in type theory.
    Authors: M. Rathjen.
    Postscript file

  • Title: A note on the spectrum of a theory.
    Authors: M. Möllerfeld, M. Rathjen.
    Postscript file

  • Title: The strength of Martin-Löf type theory with a superuniverse. Part II
    Authors: M. Rathjen.
    To appear in: Archive for Mathematical Logic.
    Postscript file

  • Title: The superjump in Martin-Löf type theory.
    Authors: M. Rathjen.
    In: Proceedings of the Logic Colloquium '98, Lecture Notes in Logic, 13..
    Postscript file

  • Title: The realm of ordinal analysis.
    Authors: M. Rathjen.
    S. Cooper and J. Truss (eds.): Sets and Proofs. (Cambridge University Press, 1999) 219-279..
    Postscript file

  • Title: An ordinal representation system for Pi-1-2-comprehension and related systems.
    Authors: M. Rathjen.
    Postscript file

  • Title: The strength of Martin-Löf type theory with a superuniverse. Part I
    Authors: M. Rathjen.
    Archive for Mathematical Logic.
    Postscript file

  • Title: Explicit Mathematics with the monotone fixed point principle. II: Models.
    Authors: M. Rathjen.
    Journal of Symbolic Logic 64 (1999) 517-550..
    Postscript file

  • Title: Explicit Mathematics with the monotone fixed point principle.
    Authors: M. Rathjen.
    Journal of Symbolic Logic 63 (1998) 181-200..
    Postscript file

  • Title: The higher infinite in proof theory.
    Authors: M. Rathjen.
    J. Makowsky and E. Ravve (eds.): Logic Colloquium '95, Springer Lecture Notes in Logic, vol. 11 (Springer, 1998) 275-304.
    Postscript file

  • Title: On the proof-theoretic strength of monotone induction in explicit mathematics.
    Authors: T. Glass, M. Rathjen, A. Schl"uter.
    Annals of Pure and Applied Logic 85 (1997) 1-46.
    Postscript file

  • Title: The recursively Mahlo property in second order arithmetic.
    Authors: M. Rathjen.
    Mathematical Logic Quarterly, 42, 59-66 (1996).
    Postscript file

  • Title: Monotone inductive definitions in explicit mathematics.
    Authors: M. Rathjen.
    Journal of Symbolic Logic 61 (1996) 125-146..
    Postscript file

  • Title: Recent advances in ordinal analysis: Pi-1-2-CA and related systems.
    Authors: M. Rathjen.
    Bulletin of Symbolic Logic 1 (1995) 468-485.
    Postscript file

  • Title: Proof theory of reflection.
    Authors: M. Rathjen.
    Annals of Pure and Applied Logic 68, 181-224 (1994).
    pdf-file

  • Title: Admissible proof theory and beyond.
    Authors: M. Rathjen.
    In: D. Prawitz, B. Skyrms and D. Westerstahl (eds.): Logic, Methodology and Philosophy of Science IX (Elsevier, 1994) 123-147.
    Postscript file

  • Title: Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM.
    Authors: M. Rathjen.
    Archive for Mathematical Logic 33, 35-55 (1994).
    Postscript file

  • Title: How to develop proof-theoretic ordinal functions on the basis of admissible ordinals.
    Authors: M. Rathjen.
    Mathematical Logic Quarterly, 39, 47--54 (1993).
    Postscript file

  • Title: Proof-theoretic investigations on Kruskal's theorem.
    Authors: M. Rathjen and A. Weiermann.
    Annals of Pure and Applied Logic, 60, 49--88 (1993).
    Postscript file

  • Title: Fragments of Kripke-Platek set theory.
    Authors: M. Rathjen.
    In: P. Aczel, H. Simmons, S. Wainer (eds.): Proof Theory, Cambridge University Press (1992) 251-273.
    Postscript file

  • Title: A proof-theoretic characterization of the primitive recursive set functions.
    Authors: M. Rathjen.
    Journal of Symbolic Logic 57 (1992) 954-969..

  • Title: The role of parameters in bar rule and bar induction.
    Authors: M. Rathjen.
    Journal of Symbolic Logic 56 (1991) 715-730..

  • Title: Proof-theoretic analysis of KPM.
    Authors: M. Rathjen.
    Archive for Mathematical Logic 30 (1991) 377-403.

  • Title: Ordinal notations based on a weakly Mahlo cardinal.
    Authors: M. Rathjen.
    Archive for Mathematical Logic 29 (1990) 249-263.

Last changed 25-05-2009.

[ Mathematics ] [ Pure Maths ] [ Mathematical Logic ] [ Previous ]