Theses

Ghosts of theses yet to come, and those already laid to rest.

Possible topics for Bachelor, Master, and PhD work. Prospective students from Bologna or elsewhere can get in touch.

Yet to come

Magnitude homology and the magnitude-path spectral sequenceOpen

Magnitude homology, introduced by Hepworth and Willerton, is a bigraded homology of metric spaces that categorifies Leinster’s magnitude. Magnitude itself grew out of Euler characteristic in enriched category theory, and has since touched differential geometry, graphs, entropy, and biological diversity. The brief is the homology theory — Mayer–Vietoris and Künneth among its axioms — and the magnitude-path spectral sequence.

Hochschild homology and simplicial homologyOpen

To a simplicial complex one can attach the incidence algebra of its face poset. Gerstenhaber and Schack showed that the Hochschild cohomology of that algebra recovers the homology of the complex. The thesis is to study the relationship in its diagrammatic form.

Gröbner categories and representations of categoriesOpen

Sam and Snowden’s (quasi)-Gröbner categories satisfy combinatorial conditions strong enough that Noetherianity of functors generalizes the classical story. Applications include a rationality criterion for Hilbert series of representations, and a link with formal languages.

Homological stability for mapping class groupsOpen

Homological invariants of families of groups, and their stable homology. For some families — mapping class groups among them — it is easier to compute infinitely many homology groups at once than any single one. The proof is a spectral sequence, Quillen’s argument, including the case of 3-manifolds.

The Tarski–Seidenberg theoremOpen

At the crossing of geometry, algebra, model theory, and computer science: the projection of a semialgebraic set is still semialgebraic. The project is the theorem itself, and what it buys logic, algebraic geometry, and computational complexity.

Hilbert’s tenth problemOpen

Is there an algorithm that decides whether a given Diophantine equation has integer solutions? There is not. The aim is to unravel that proof, and to look at neighbouring decidability problems in number theory.

Sheaves in definable algebraic topologyOpen

Take sheaves from classical algebraic topology — quasicoherent, perhaps perverse — and recast them so that spaces of sections carry the structure of phantom Polish spaces.

Higher-order Schauder basesOpen

Schauder bases are basic to Banach space theory. Study their fundamental properties, then build higher-order generalizations indexed by walks on ordinals, with methods from analysis and set theory.

A very long CⁿOpen

TBA. The title is currently doing the work of an abstract.

Coarse groups, coarse spaces, and coarse geometryOpen

TBA. Bring a coarse structure, and a question.

Present

Diamond and all things Suslin
Szemerédi past and present

Past

85 theses

2026
Unspecified
Stefano Bonatesta
Logiche modali non-normali
Citation only
2026
Unspecified
Francesco Noventa
Un calcolo dei sequenti etichettati per la logica modale al primo ordine
Citation only
2026
Bachelor
Pietro Bacchetta
Applicazioni dei teoremi di Gödel: Teorema di Goodstein e Reverse Mathematics
Read
2026
Bachelor
Matteo Gabrielloni
Teoria dei Modelli e Teorema di Ax-Kochen
Read
2026
Bachelor
Lorenzo Baldinini
Infinito-Categorie e Omotopia Simpliciale
Read
2026
Master
Maria Caterina Arpinati
Pensiero simbolico logico e matematico in Leibniz
Citation only
2026
PhD
Cecilia Di Florio
Towards a logic-based approach to legal case-based reasoning
Read
2025
Unspecified
Andrea Gentile
Un calcolo di sequenti etichettato per il futuro lineare discreto
Citation only
2025
Unspecified
Ivan Caporale
Embedding della logica intuizionistica nella logica di Grzergorczyk. I calcoli di sequenti etichettati G3Grz e G3I e l’embedding di G3I in G3Grz
Citation only
2025
PhD
Matteo Casarosa
Set Theory of Derived Functors
Read
2025
Master
Lorenzo Lipparini
Constructive Models of Homotopy Type Theory in Cubical Sets
Read
2025
Bachelor
Riccardo De Santis
Logica del paradosso e dialeteismo: il valore di una contraddizione
Citation only
2025
Bachelor
Romeo Novali
Il potenzialismo in Matematica. Due processi generativi potenzialisti: le gerarchie cumulative degli insiemi e le free choice sequences
Citation only
2025
Bachelor
Riccardo Malagoli
Computabilità e Complessità. Un’analisi storica e teoretica
Citation only
2025
Master
Benedetta D’Astolto
La Logica Infinitaria. Aspetti semantici e loro utilizzo in Teoria dei Modelli
Citation only
2025
Bachelor
Alessandro Chiaradia
Model-Theoretic Stability and its application to the Szemerédi Regularity Lemma
Read
2024
Unspecified
Valerio Francesco Mangiacotti
Un calcolo dei sequenti per le logiche rilevanti
Citation only
2024
Unspecified
Nicolay Lanzi
Descrizioni Definite e l'Operatore ι in Logica formale: Una Teoria Senza Cut
Citation only
2024
Unspecified
Margherita Violi
Un calcolo di sequenti etichettato per la logica inquisitiva
Citation only
2024
Bachelor
Jurij Lanfranco
An Introduction to Sheaf Theory and the Foundations of Condensed Mathematics
Read
2024
Master
Luca Marchiori
Homological Algebra for pro-Lie and Locally Compact Polish groups
Read
2024
Bachelor
Andrea Magi
Caratteristiche Cardinali del Continuo e Teorema di Bell
Read
2024
Bachelor
Edoardo Bianchini
Introduzione alla Teoria Dei Modelli e sue Applicazioni ai Campi Algebricamente Chiusi
Read
2024
Master
Gloria Fantuzi
Sistemi deduttivi in teoria della dimostrazione e didattica
Read
2024
Bachelor
Fabio Altadonna
Logica di Hoare applicata su un linguaggio procedurale: implementazione Matita
Read
2024
Bachelor
Marco Russo
Il lambda-calcolo con la strategia Call-by-Value
Read
2024
Bachelor
Orazio Andrea Capone
Una webapp per dimostrazioni in deduzione naturale per la logica del primo ordine
Read
2023
Unspecified
Jonathan Donini
Calcoli di sequenti annidati per le logiche modali
Citation only
2023
Unspecified
Silvia Panza
Il calcolo dei sequenti per la logica GL
Citation only
2023
Unspecified
Gabriele Giancola
Super-strict implication and non-normal logics. Labelled sequent calculus for the logic of super-strict implication S1
Citation only
2023
Unspecified
Lorenzo Cappelletti
Calcolo dei sequenti annidati per logiche modali
Citation only
2023
Unspecified
Davide Cavalli
Logica modale del prim'ordine: l'approccio possibilista ed attualista a confronto
Citation only
2023
Bachelor
Alessandro Gentili
Introduzione alla Teoria Descrittiva degli Insiemi Effettiva
Read
2023
Master
Elena Maltoni
Rango di Morley, Forking e Indipendenza
Read
2023
Master
Vincenzo Borriello
Una formalizzazione delle costruzioni comparative mediante la logica dei predicati
Citation only
2023
PhD
Melissa Antonelli
Towards a logical foundation of randomized computation
Read
2022
Unspecified
Claudia Aimi
Implicazione super stretta e logiche non normali. Un calcolo di sequenti etichettato dell'implicazione super stretta per le logiche riflessive e transitive non normali S2 e S3
Citation only
2022
Bachelor
Guido Boccali
Curry-Howard Isomorphism
Citation only
2022
Master
Pietro Faustini
Razionalità ed errori: un approccio filosofico all’Economia. Modelli, metodi, prospettive
Citation only
2022
Master
Grazia Sibilio
Critica alle flussioni ne L’Analista di Berkeley
Read
2022
PhD
Gabriele Vanoni
On Reasonable Space and Time Cost Models for the λ-Calculus
Read
2021
Unspecified
Niccolò Martini
Calcolo dei Sequenti per un Sistema Formale della Logica Temporale
Citation only
2021
Bachelor
Lorenzo Venieri
Prove di consistenza e indipendenza nella Teoria degli insiemi
Read
2020
Master
Cecilia Di Florio
Assioma di Scelta, Forcing e misura di Lebesgue
Record (full text restricted)
2020
Master
Guido Fiorillo
Casualità algoritmica e dimensione effettiva
Read
2020
PhD
Andrea Condoluci
Beta-Conversion, Efficiently
Read
2019
Master
Federico Cappelli
I Grundlagen der Geometrie
Read
2019
Bachelor
Michele Malpezzi
Teoria degli Insiemi in una logica paraconsistente
Read
2019
Master
Silvia Angiolini
La decidibilità del campo esponenziale reale
Record (full text restricted)
2019
PhD
Elena Tassoni
On the Normativity and Plurality of Logical Consequence: Some Reflections on the Role of Logic in Our Epistemic System
Read
2018
Master
Cristiano Piemontese
Sviluppo di un interactive theorem prover in ELPI
Read
2018
Bachelor
Nicola Carissimi
P-punti nella compattificazione di Stone-Čech di ω
Read
2018
Bachelor
Noemi Petrini
Un argomento di storia della logica: dal sillogismo alla logica monadica
Read
2017
Master
Giacomo Carpani
Cantor e l'aritmetica transfinita
Record (full text restricted)
2017
Bachelor
Giuseppe Baudo
Macchina di Turing e Calcolabilità in una Prospettiva Storica
Record (full text restricted)
2017
Master
Vanessa Jacquier
Gli assiomi di Antifondazione nella teoria degli insiemi
Read
2017
PhD
Valeria Vignudelli
Behavioral Equivalences for Higher-Order Languages with Probabilities
Read
2016
Bachelor
Anna Di Natale
L'assioma della scelta e il paradosso di Banach-Tarski
Read
2016
Bachelor
Lorenzo Ruaro
Cardinalità di insiemi e numeri cardinali
Read
2015
Bachelor
Antonella Tavaglione
La logica del secondo ordine e la prova ontologica di Gödel
Read
2015
Master
Chiara Bonacci
Enunciati indipendenti dagli assiomi dell'aritmetica di Peano
Record (full text restricted)
2015
Master
Claudia Vannelli
Introduzione alla logica e alla matematica intuizioniste
Record (full text restricted)
2015
Master
Lucia Scarfo
Errori nelle dimostrazioni: tra logica ed esperienza didattica
Record (full text restricted)
2015
Bachelor
Rosa Colasuono
Il sillogismo e il “Gioco della Logica” di L. Carroll
Record (full text restricted)
2014
Bachelor
Benedetta Antognoli
Calcolo delle equazioni e ricorsività
Record (full text restricted)
2014
Bachelor
Daniele Fiore
Logica dell'identità e delle descrizioni
Read
2014
Master
Dora Pastore
L'assioma di scelta : Storia e influenza sulla matematica del novecento
Read
2014
Master
Federica Frisoni
Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov
Read
2014
Master
Laura Gobbi
Una teoria degli insiemi non convenzionale: NFU
Record (full text restricted)
2014
Bachelor
Lucia Casadei
Logiche proposizionali polivalenti
Record (full text restricted)
2014
PhD
Eugenio Orlandelli
Proof theory of quantified modal logics
Read
2014
PhD
Giulio Pellitta
Extending Implicit Computational Complexity and Abstract Machines to Languages with Control
Read
2013
Master
Caterina Cammera
La Teoria delle classi NBG
Read
2013
Master
Claudia Cicero
Logiche modali e teoria degli insiemi
Read
2013
Bachelor
Federica Guerra
Tavole semantiche e problemi di decidibilità
Read
2013
Master
Francesco Antonio Genco
Logiche modali e logiche independence friendly
Read
2013
Master
Giacomo Gualandi
Modelli di teoria degli insiemi
Read
2013
Bachelor
Saverio Tassinari
Il problema della primalità in complessità computazionale
Read
2013
PhD
Matthias Puech
Certificates for Incremental Type Checking
Read
2012
Bachelor
Carlotta Bulgarelli
Numeri ordinali e cardinali nella teoria di Von Neumann-Bernays-Gödel
Read
2012
Master
Carlotta Dainesi
Logica modale della dimostrabilità
Read
2010
Master
Andrea Simonetto
Indagini in Deep Inference
Read
2010
Bachelor
Giacomo Gualandi
L'aritmetica di Peano e i teoremi di incompletezza
Read
2010
Bachelor
Marialisa Sibilano
Numeri ordinali e cardinali
Read
2007
PhD
Matteo Capelletti
The non-associative Lambek calculus: logic, linguistic and computational properties
Read

Yet to come

Present

Past

Logiche modali non-normali

Un calcolo dei sequenti etichettati per la logica modale al primo ordine

Applicazioni dei teoremi di Gödel: Teorema di Goodstein e Reverse Mathematics

Teoria dei Modelli e Teorema di Ax-Kochen

Infinito-Categorie e Omotopia Simpliciale

Pensiero simbolico logico e matematico in Leibniz

Towards a logic-based approach to legal case-based reasoning

Un calcolo di sequenti etichettato per il futuro lineare discreto

Embedding della logica intuizionistica nella logica di Grzergorczyk. I calcoli di sequenti etichettati G3Grz e G3I e l’embedding di G3I in G3Grz

Set Theory of Derived Functors

Constructive Models of Homotopy Type Theory in Cubical Sets

Logica del paradosso e dialeteismo: il valore di una contraddizione

Il potenzialismo in Matematica. Due processi generativi potenzialisti: le gerarchie cumulative degli insiemi e le free choice sequences

Computabilità e Complessità. Un’analisi storica e teoretica

La Logica Infinitaria. Aspetti semantici e loro utilizzo in Teoria dei Modelli

Model-Theoretic Stability and its application to the Szemerédi Regularity Lemma

Un calcolo dei sequenti per le logiche rilevanti

Descrizioni Definite e l'Operatore ι in Logica formale: Una Teoria Senza Cut

Un calcolo di sequenti etichettato per la logica inquisitiva

An Introduction to Sheaf Theory and the Foundations of Condensed Mathematics

Homological Algebra for pro-Lie and Locally Compact Polish groups

Caratteristiche Cardinali del Continuo e Teorema di Bell

Introduzione alla Teoria Dei Modelli e sue Applicazioni ai Campi Algebricamente Chiusi

Sistemi deduttivi in teoria della dimostrazione e didattica

Logica di Hoare applicata su un linguaggio procedurale: implementazione Matita

Il lambda-calcolo con la strategia Call-by-Value

Una webapp per dimostrazioni in deduzione naturale per la logica del primo ordine

Calcoli di sequenti annidati per le logiche modali

Il calcolo dei sequenti per la logica GL

Super-strict implication and non-normal logics. Labelled sequent calculus for the logic of super-strict implication S1

Calcolo dei sequenti annidati per logiche modali

Logica modale del prim'ordine: l'approccio possibilista ed attualista a confronto

Introduzione alla Teoria Descrittiva degli Insiemi Effettiva

Rango di Morley, Forking e Indipendenza

Una formalizzazione delle costruzioni comparative mediante la logica dei predicati

Towards a logical foundation of randomized computation

Implicazione super stretta e logiche non normali. Un calcolo di sequenti etichettato dell'implicazione super stretta per le logiche riflessive e transitive non normali S2 e S3

Curry-Howard Isomorphism

Razionalità ed errori: un approccio filosofico all’Economia. Modelli, metodi, prospettive

Critica alle flussioni ne L’Analista di Berkeley

On Reasonable Space and Time Cost Models for the λ-Calculus

Calcolo dei Sequenti per un Sistema Formale della Logica Temporale

Prove di consistenza e indipendenza nella Teoria degli insiemi

Assioma di Scelta, Forcing e misura di Lebesgue

Casualità algoritmica e dimensione effettiva

Beta-Conversion, Efficiently

I Grundlagen der Geometrie

Teoria degli Insiemi in una logica paraconsistente

La decidibilità del campo esponenziale reale

On the Normativity and Plurality of Logical Consequence: Some Reflections on the Role of Logic in Our Epistemic System

Sviluppo di un interactive theorem prover in ELPI

P-punti nella compattificazione di Stone-Čech di ω

Un argomento di storia della logica: dal sillogismo alla logica monadica

Cantor e l'aritmetica transfinita

Macchina di Turing e Calcolabilità in una Prospettiva Storica

Gli assiomi di Antifondazione nella teoria degli insiemi

Behavioral Equivalences for Higher-Order Languages with Probabilities

L'assioma della scelta e il paradosso di Banach-Tarski

Cardinalità di insiemi e numeri cardinali

La logica del secondo ordine e la prova ontologica di Gödel

Enunciati indipendenti dagli assiomi dell'aritmetica di Peano

Introduzione alla logica e alla matematica intuizioniste

Errori nelle dimostrazioni: tra logica ed esperienza didattica

Il sillogismo e il “Gioco della Logica” di L. Carroll

Calcolo delle equazioni e ricorsività

Logica dell'identità e delle descrizioni

L'assioma di scelta : Storia e influenza sulla matematica del novecento

Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov

Una teoria degli insiemi non convenzionale: NFU

Logiche proposizionali polivalenti

Proof theory of quantified modal logics

Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

La Teoria delle classi NBG

Logiche modali e teoria degli insiemi

Tavole semantiche e problemi di decidibilità

Logiche modali e logiche independence friendly

Modelli di teoria degli insiemi