Anton Freund becomes junior research group leader within the Emmy Noether Programme of DFG


Anton's team is part of the Logic Group. It explores new connections between ordinal analysis, reverse mathematics, and combinatorics. A central technical tool is provided by continuous functors over ordered structures. The team's research is guided by the following general question: Which axiom systems are strong enough to prove a given mathematical theorem? In addition to its intrinsic interest, an answer does often yield further information, for example about the complexity of algorithmic solutions.