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.