15 citations · 26 across the 27 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
math.LO2021★ 1 cited
Well ordering principles for iterated -comprehension
Anton Freund, Michael Rathjen
We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated -compre…
math.LO2021
No speedup for geometric theories
Michael Rathjen
Geometric theories based on classical logic are conservative over their intuitionistic counterparts for geometric implications. The latter result (sometimes referred to as Barr's t…
math.LO2021★ 4 cited
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
In this work we consider an extension MFcind of the Minimalist Foundation MF for predicative constructive mathematics with the addition of inductive and coinductive definitions suf…