| Notes on polynomially bounded arithmetic D Zambella The Journal of Symbolic Logic 61 (3), 942-966, 1996 | 147 | 1996 |
| Computational randomness and lowness SA Terwijn, D Zambella The Journal of Symbolic Logic 66 (3), 1199-1205, 2001 | 139* | 2001 |
| Sequences with simple initial segments D Zambella | 57 | 1990 |
| Complexity of forecasting in a class of simple models D Zambella, P Grassberger Complex Systems 2 (3), 269-303, 1988 | 36 | 1988 |
| End extensions of models of linearly bounded arithmetic D Zambella Annals of Pure and Applied Logic 88 (2-3), 263-277, 1997 | 18 | 1997 |
| Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing D Zambella Notre Dame Journal of Formal Logic 35 (1), 147-157, 1994 | 18 | 1994 |
| On the proofs of arithmetical completeness for interpretability logic. D Zambella Notre Dame journal of formal logic 33 (4), 542-551, 1992 | 14 | 1992 |
| A note on recursive models of set theories A Mancini, D Zambella Notre Dame Journal of Formal Logic 42 (2), 109-115, 2001 | 8 | 2001 |
| Chapters on Bounded Arithmetic and on Provability Logic D Zambella University of Amsterdam, 1994 | 7 | 1994 |
| Generic expansions of countable models S Barbina, D Zambella | 5 | 2012 |
| A viewpoint on amalgamation classes S Barbina, D Zambella arXiv preprint arXiv:1009.1789, 2010 | 4 | 2010 |
| A crèche course in model theory D Zambella Open Math Notes, 2018 | 3* | 2018 |
| Ramsey’s coheirs E Colla, D Zambella The Journal of Symbolic Logic 87 (1), 377-391, 2022 | 2 | 2022 |
| Elementary classes of finite VC-dimension D Zambella Archive for Mathematical Logic 54, 511-520, 2015 | 2 | 2015 |
| Krull dimension of types in a class of first-order theories D Zambella Turkish Journal of Mathematics 35 (2), 323-331, 2011 | 2 | 2011 |
| Forcing in finite structures D Zambella Mathematical Logic Quarterly 43 (3), 401-412, 1997 | 2 | 1997 |
| The eal truth S Baratella, D Zambella Mathematical Logic Quarterly 61 (1-2), 32-44, 2015 | 1 | 2015 |
| Foundation versus induction in Kripke-Platek set theory D Zambella The Journal of Symbolic Logic 63 (4), 1399-1403, 1998 | 1 | 1998 |
| Algebraic methods and bounded formulas D Zambella Notre Dame Journal of Formal Logic 38 (1), 37-48, 1997 | 1 | 1997 |
| Continuous logic in a classical setting C Agostini, S Baratella, S Barbina, LM Ros, D Zambella arXiv preprint arXiv:2402.01245, 2024 | | 2024 |
