MAINARDI, LEONARDO
MAINARDI, LEONARDO
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A note on the ordinal analysis of RCA0 + WO(σ) | 2019 | Carlucci, Lorenzo; Mainardi, Leonardo; Rathjen, Michael | |
Ramsey-type principles, regressivity and well-orderings | 2024 | Mainardi, Leonardo | |
Regressive versions of Hindman’s theorem | 2024 | Carlucci, Lorenzo; Mainardi, Leonardo |