Logica Matematica
Settori
- SSD: Mat/01
- ERC: PE1_1 Logic and foundations
Temi di ricerca
- Assiomi di Forcing, grandi cardinali e omega-logica
- Combinatorica infinita
- Determinatezza e modelli interni
- Definibilità e complessità dei problemi di classificazione
- Riducibilità definibile e immergibilità tra insiemi, funzioni e strutture
- Quasi ordini WQO e BQO
- Connessioni con la teoria di Ramsey
- Teoria descrittiva degli insiemi generalizzata
- Teoria dei modelli per i gruppi
- Gruppi di automorfismi di strutture numerabili
- Applicazioni ai gruppi di permutazione
- Amalgamazione di alto ordine
- Stabilità e sue generalizzazioni
- VC-teoria e Machine Learning
Gruppo di ricerca