Search the dblp DataBase

Publications of Author

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