Preprints
Some Preprints and Papers

  • Title: Proof Theory: From Arithmetic to Set Theory
    Authors:M. Rathjen
    pdf-file

  • Title: Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
    Authors:M. Rathjen
    pdf-file

  • Title: Power Kripke-Platek set theory and the axiom of choice
    Authors:M. Rathjen
    pdf-file

  • Title: Well-partial-orderings and the big Veblen number
    Authors:M. Rathjen, J. Van der Meeren, A. Weiermann
    pdf-file

  • Title: Goodstein's theorem revisited.
    Authors:M. Rathjen.
    To appear in: Annals of Pure and Applied Logic.
    pdf-file

  • Title: Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience.
    Authors:M. Rathjen.
    Annals of Pure and Applied Logic 165 (2014) 563-572.
    pdf-file

  • Title: Notes on Constructive Set Theory.
    Authors:P. Aczel and M. Rathjen.
    Book draft 2010.
    pdf-file

  • Title: Relativized ordinal analysis: The case of Power Kripke-Platek set theory.
    Authors:M. Rathjen.
    Annals of Pure and Applied Logic 165 (2014) 316-393.
    pdf-file

  • Title:Slow consistency.
    Authors:S.D. Friedman, M. Rathjen, A. Weiermann.
    To appear in: Annals of Pure and Applied Logic.
    pdf-file

  • Title: Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions.
    Authors:M. Rathjen.
    In: P. Dybjer, S. Lindstroem, E. Palmgren. G. Sundholm: Epistemology versus ontology: Essays on the philosophy and foundations of mathematics in honour of Per Martin-Loef (Springer, Dordrecht, Heidelberg, 2012) 313-349.
    pdf-file

  • Title: Formal Baire space in constructive set theory.
    Authors:G. Curi and M. Rathjen.
    In: U.Berger, P. Schuster, M. Seisenberger (Eds.): Logic, Construction, Computation (Ontos Verlag, Frankfurt, 2012) 123--135.
    pdf-file

  • Title: From the weak to the strong existence property.
    Authors:M. Rathjen.
    Annals of Pure and Applied Logic 163 (2012) 1400–-1418.
    pdf-file

  • Title: Omega-models and well-ordering principles.
    Authors:M. Rathjen.
    In: Neil Tennant (ed.): Foundational Adventures: Essays in Honor of Harvey M. Friedman. (College Publications, London, 2014) 179-212.
    pdf-file

  • Title: Lifschitz Realizability for Intuitionistic Zermelo-Fraenkel Set Theory.
    Authors:R.M. Chen, M. Rathjen.
    Archive for Mathematical Logic 51 (2012) 789-818.
    pdf-file

  • Title: Ordinal Analysis and the Infinite Ramsey Theorem.
    Authors:B. Afshari, M. Rathjen.
    In: S.B. Cooper, A. Dawar, B. Loewe (Eds.): How the World Computes. Springer Lecture Notes in Computer Science 7318 (Springer 2012) 1-10.
    pdf-file

  • Title: The Friedman-Sheard programme in intuitionistic logic.
    Authors:G. Leigh, M. Rathjen.
    Journal of Symbolic Logic 77 (2012) 777-806.
    pdf-file

  • Title: Investigations of subsystems of second order arithmetic and set theory: Part I
    Authors: M. Rathjen.
    In: R. Schindler (ed.): Ways of Proof Theory (Ontos Verlag, Frankfurt, 2010) 363-439.
    pdf-file

  • Title: An ordinal analysis for theories of self-referential truth.
    Authors:G. Leigh, M. Rathjen.
    Archive for Mathematical Logic 49 (2010) 213-247.
    pdf-file

  • Title: Reverse Mathematics and Well-Ordering Principles.
    Authors: M. Rathjen, A. Weiermann.
    S. Cooper, A. Sorbi (eds.): Computability in Context: Computation and Logic in the Real World (Imperial College Press, 2011) 351-370.
    pdf-file

  • Title: Reverse Mathematics and Well-Ordering Principles: A Pilot Study.
    Authors: B. Afshari, M. Rathjen.
    Annals of Pure and Applied Logic 160 (2009) 231-237.
    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)
    pdf-file

  • Title: A note on the theory of positive induction.
    Authors: B. Afshari, M. Rathjen.
    Archive for Mathematical Logic 49 (2010) 275-281.
    pdf-file

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

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

  • 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. pdf-file

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

  • Title: Theories and ordinals in proof theory.
    Author: M. Rathjen.
    Synthese 148 (2006) 719-743. 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-Loef 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.
    In: L. Crosilla, P. Schuster (eds.): From Sets and Types to Topology and Analysis Towards Practicable Foundations for Constructive Mathematics (Clarendon Press, Oxford, 2005) 23--40.
    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.
    In: H. Schwichtenberg, K. Spies (eds.): Proof Technology and Computation (IOS Press, Amsterdam,2006) 279-322.
    pdf-file

  • Title: Constructive choice principles in constructive and classical set theories.
    Author: M. Rathjen.
    Lecture Notes in Logic 27 (2006) 299-326. pdf-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.
    pdf-file

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

  • Title: Predicativity, circularity, and anti-foundation.
    Authors: M. Rathjen.
    In: Godehard Link (ed.): One Hundred Years of Russell's Paradox. de Gruyter Series in Logic and its Applications 6 (Walter de Gruyter, Berlin, New York, 2004) 191-219..
    pdf-file

  • Title: The anti-foundation axiom in constructive set theories.
    Authors: M. Rathjen.
    In: G. Mints, R. Muskens (eds.): Games, Logic, and Constructive Sets. (CSLI Publications, Stanford, 2003) 87--108..
    pdf-file

  • Title: Kripke-Platek set theory and the anti-foundation axiom.
    Authors: M. Rathjen.
    Mathematical Logic Quarterly 47 (2001) 435-440..
    pdf-file

  • Title: Explicit mathematics with monotone inductive definitions: A survey.
    Authors: M. Rathjen.
    In: W. Sieg, R. Sommer, C. Talcott (eds.): Reflections on the Foundation of Mathematics: Essays in honor of Solomon Feferman. Lecture Notes in Logic 15 (A. K. Peters, New York, 2002) 335-352..
    pdf-file

  • Title: Realizing Mahlo set theory in type theory.
    Authors: M. Rathjen.
    Archive for Mathematical Logic 42 (2003) 89-101..
    pdf-file

  • Title: A note on the spectrum of a theory.
    Authors: M. Moellerfeld, M. Rathjen.
    Archive for Mathematical Logic 41 (2002) 33-34..
    pdf-file

  • Title: The strength of Martin-Loef type theory with a superuniverse. Part II
    Authors: M. Rathjen.
    Archive for Mathematical Logic 40 (2001) 207-233..
    pdf-file

  • Title: The superjump in Martin-Loef type theory.
    Authors: M. Rathjen.
    In: S. Buss, P. Hajek, P. Pudlak (eds.): Logic Colloquium '98, Lecture Notes in Logic 13. (Association for Symbolic Logic, 2000) 363-386..
    pdf-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..
    pdf-file

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

  • Title: The strength of Martin-Loef type theory with a superuniverse. Part I
    Authors: M. Rathjen.
    Archive for Mathematical Logic 39 (2000) 1-39.
    pdf-file

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

  • Title: Explicit Mathematics with the monotone fixed point principle.
    Authors: M. Rathjen.
    Journal of Symbolic Logic 63 (1998) 181-200..
    pdf-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.
    pdf-file

  • Title: On the proof-theoretic strength of monotone induction in explicit mathematics.
    Authors: T. Glass, M. Rathjen, A. Schlueter.
    Annals of Pure and Applied Logic 85 (1997) 1-46.
    pdf-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.
    pdf-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.
    pdf-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).
    pdf-file

  • Title: The strength of some Martin-Loef type theories.
    Authors: M. Rathjen.
    Ohio state university 1993    .
    pdf-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).
    pdf-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).
    pdf-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.
    pdf-file

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

  • Title: Hydrae and subsystems of arithmetic.
    Authors: W.A. Carnielli and M. Rathjen.
    February 1991.
    pdf-file

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

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

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

Last changed 25-05-2009.

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