Leonardo Mainardi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Reductions of well-ordering principles to combinatorial theorems (available as arXiv preprint) | N/A | Paper |
| Reductions of well-ordering principles to combinatorial theorems Notre Dame Journal of Formal Logic | 2026-07-09 | Paper |
| Regressive versions of Hindman's theorem Archive for Mathematical Logic | 2024-04-16 | Paper |
| A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\) | 2020-05-12 | Paper |
Research outcomes over time
This page was built for person: Leonardo Mainardi
