Research area: Mathematical Logic and Foundations Models of computability with oracles. Theory of Numerations. Computably enumerable algebraic structures. Connections between computability and incompleteness. Ideals in Universal Algebra and in Categorical Algebra. Categorical semantics of logical languages. History of Logic and other fundational issues. ERC KeywordsPE1_1 Logic and foundations People Full Professors: Andrea Sorbi Assistant Professors: Duccio Pianigiani Temporary Assistant Professors RTT: Caspar Philipp Schlicht External Professors: Fabio Bellissima PhD Students:
