Anton Freund

1. Minimal bad sequences are necessary for a uniform Kruskal theorem
   2020/01/17 by Anton Freund, Michael Rathjen, Freund, Anton +3 · 2 citations
   Computer Science · Mathematics · #03B30 #03F35 #05C05 #06A07 #68Q42 #Benford’s Law and Fraud Detection #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #semigroups and automata theory
2. Reverse mathematics of a uniform Kruskal-Friedman theorem
   2021/12/16 by ANTON FREUND, Anton Freund, Freund, Anton · 1 citation
   Computer Science · Mathematics · #03B30 #03F15 #03F35 #05C83 #06A07 #Advanced Topology and Set Theory #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
3. Dilators and the reverse mathematics zoo
   2024/04/10 by Anton Freund, Freund, Anton · 1 citation
   Computer Science · #03B30 #03F15 #03F35 #05D10 #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)