Complexity of Forecasting in a Class of Simple Models. - Domenico Zambella; Peter Grassberger (Complex Syst., 1988)

On the Proofs of Arithmetical Completeness for Interpretability Logic. - Domenico Zambella (Notre Dame J. Formal Log., 1992)

Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Δ0s + exp. - Domenico Zambella (Notre Dame J. Formal Log., 1994)

Notes on Polynomially Bounded Arithmetic. - Domenico Zambella (J. Symb. Log., 1996)

End Extensions of Models of Linearly Bounded Arithmetic. - Domenico Zambella (Ann. Pure Appl. Log., 1997)

Forcing in Finite Structures. - Domenico Zambella (Math. Log. Q., 1997)

Algebraic Methods and Bounded Formulas. - Domenico Zambella (Notre Dame J. Formal Log., 1997)

Foundation Versus Induction in Kripke-Platek Set Theory. - Domenico Zambella (J. Symb. Log., 1998)

Computational Randomness and Lowness. - Sebastiaan Terwijn; Domenico Zambella (J. Symb. Log., 2001)

A Note on Recursive Models of Set Theories. - Antonella Mancini; Domenico Zambella (Notre Dame J. Formal Log., 2001)

Generic Expansions of Countable Models. - Silvia Barbina; Domenico Zambella (Notre Dame J. Formal Log., 2012)

Elementary classes of finite VC-dimension. - Domenico Zambella (Arch. Math. Log., 2015)

The Real truth. - Stefano Baratella; Domenico Zambella (Math. Log. Q., 2015)

Ramsey's Coheirs. - Eugenio Colla; Domenico Zambella (J. Symb. Log., 2022)