Vai al contenuto principale
Coronavirus: aggiornamenti per la comunità universitaria / Coronavirus: updates for UniTo Community

Logica Matematica

Mathematical Logic Research Area

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

 

Ultimo aggiornamento: 14/11/2021 23:04