| |
| 2001 | ||
|---|---|---|
| 9 | Sebastiaan Terwijn, Domenico Zambella: Computational Randomness and Lowiness. J. Symb. Log. 66(3): 1199-1205 (2001) | |
| 8 | Antonella Mancini, Domenico Zambella: A Note on Recursive Models of Set Theories. Notre Dame Journal of Formal Logic 42(2): 109-115 (2001) | |
| 1998 | ||
| 7 | Domenico Zambella: Foundation Versus Induction in Kripke-Platek Set Theory. J. Symb. Log. 63(4): 1399-1403 (1998) | |
| 1997 | ||
| 6 | Domenico Zambella: End Extensions of Models of Linearly Bounded Arithmetic. Ann. Pure Appl. Logic 88(2-3): 263-277 (1997) | |
| 5 | Domenico Zambella: Forcing in Finite Structures. Math. Log. Q. 43: 401-412 (1997) | |
| 4 | Domenico Zambella: Algebraic Methods and Bounded Formulas. Notre Dame Journal of Formal Logic 38(1): 37-48 (1997) | |
| 1996 | ||
| 3 | Domenico Zambella: Notes on Polynomially Bounded Arithmetic. J. Symb. Log. 61(3): 942-966 (1996) | |
| 1994 | ||
| 2 | Domenico Zambella: Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Delta0s + exp. Notre Dame Journal of Formal Logic 35(1): 147-157 (1994) | |
| 1992 | ||
| 1 | Domenico Zambella: On the Proofs of Arithmetical Completeness for Interpretability Logic. Notre Dame Journal of Formal Logic 33(4): 542-551 (1992) | |
| 1 | Antonella Mancini | [8] |
| 2 | Sebastiaan Terwijn | [9] |