research
∙
05/10/2021
No speedup for geometric theories
Geometric theories based on classical logic are conservative over their ...
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...
research
∙
06/30/2019