The goals of set theory are the analysis of the structure of the Higher Infinite, i.e. Cantor's set-theoretic universe and the elucidation of the nature of infinite mathematical objects and their role in foundational issues underlying mathematics. Moreover, the current standard system of set theory, the Zermelo-Fraenkel axioms with the Axiom of Choice (ZFC), is the usual framework for a large part of mathematics.
Current set-theoretic research on infinity focuses on the following three broad areas: large Cardinals and inner model theory, descriptive set-theoretic methods and classification problems, and infinite combinatorics.
The programme HIF will connect these three main strands of set-theoretic research and other fields of set theory to the wider scope of mathematics, to research in the foundations of mathematics, including some philosophical issues, and to research on computational issues of infinity, e.g. in theoretical computer science and constructive mathematics.