Mathematical Logic
Scientific Sectors
- SSD: Mat/01
- ERC: PE1_1 Logic and foundations
Research Topics
- Forcing axioms, large cardinals and omega-logic.
- Infinite combinatorics.
- Determinacy and internal models.
- Definability and complexity of classification problems
- Definable reducibility and embeddability between sets, functions, and structures
- Well quasi-orders and better quasi-orders
- Connections to Ramsey theory
- Generalized descriptive set theory
-
Model theory of groups
-
Automorphism groups of countable structures
-
Application to permutation groups
-
Higher-order amalgamation
-
Stability and its generalizations
-
VC-theory and Machine Learning
Research Group