Vai al contenuto principale

Mathematical Logic

Mathematical Logic Research Area

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


Last update: 15/11/2023 10:52
Non cliccare qui!