| 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) |
