15 citations · 26 across the 27 of their papers we have counts for
4 papers · 1 filter
The independence of premise rule in intuitionistic set theories
Takako Nemoto, Michael Rathjen
Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many i…
Upper bounds on the graph minor theorem
Martin Krombholz, Michael Rathjen
Lower bounds on the proof-theoretic strength of the graph minor theorem were found over 30 years ago by Friedman, Robertson and Seymour 1987, but upper bounds have always been elus…
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's t…
Derivatives of normal functions in reverse mathematics
Anton Freund, Michael Rathjen
Consider a normal function on the ordinals (i. e. a function that is strictly increasing and continuous at limit stages). By enumerating the fixed points of we obtain a…