Die Gruppe von Anton Freund ist in der AG Logik angesiedelt. Sie erforscht neue Verbindungen zwischen Ordinalzahlanalyse, reverser Mathematik und Kombinatorik. Ein zentrales technisches Werkzeug bilden stetige Funktoren über geordneten Strukturen…