Anton Freund | DeepAI

DeepAI

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

Featured Co-authors

Michael Rathjen
3 publications
Andreas Weiermann
1 publication

research

∙ 03/05/2020

From Kruskal's theorem to Friedman's gap condition

Harvey Friedman's gap condition on embeddings of finite labelled trees p...

0 Anton Freund, 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. ∙