Michael Rathjen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Anton Freund
2 publications
Martin Krombholz
1 publication
Andreas Weiermann
1 publication

research

∙ 05/10/2021

No speedup for geometric theories

Geometric theories based on classical logic are conservative over their ...

0 Michael Rathjen, et al. ∙

research

∙ 01/17/2020

Minimal bad sequences are necessary for a uniform Kruskal theorem

The minimal bad sequence argument due to Nash-Williams is a powerful too...

0 Anton Freund, et al. ∙

research

∙ 06/30/2019

Upper bounds on the graph minor theorem

Lower bounds on the proof-theoretic strength of the graph minor theorem ...

0 Martin Krombholz, et al. ∙