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 |
|---|---|---|
| A note on the circularity of set-theoretic semantics for set theory | 2025-04-22 | Paper |
| Decoding Gentzen's Notation History and Philosophy of Logic | 2020-01-15 | Paper |
| Novikov's cut elimination | 2019-09-23 | Paper |
| VON NEUMANN’S CONSISTENCY PROOF The Review of Symbolic Logic | 2017-05-31 | Paper |
| Some attempts at a direct reduction of the infinite to the (large) finite | 2008-07-11 | Paper |
| On the consistency of ZF set theory and its large cardinal extensions | 2007-07-02 | Paper |
| Formalization, syntax and the standard model of arithmetic Synthese | 2007-05-24 | Paper |
| Putnam and constructibility Erkenntnis | 2005-12-02 | Paper |
| Tarski on logical notions Synthese | 2003-09-07 | Paper |
Research outcomes over time
This page was built for person: Luca Bellotti
