Luca Bellotti
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 |
|---|---|---|
| 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
