Domenico Zambella

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
2022 J jnl
Ramsey's Coheirs.
J. Symb. Log.
Eugenio Colla, Domenico Zambella
2015 J jnl
Elementary classes of finite VC-dimension.
Arch. Math. Log.
Domenico Zambella
2015 J jnl
The Real truth.
Math. Log. Q.
Stefano Baratella, Domenico Zambella
2012 J jnl
Generic Expansions of Countable Models.
Notre Dame J. Formal Log.
Silvia Barbina, Domenico Zambella
2001 J jnl
A Note on Recursive Models of Set Theories.
Notre Dame J. Formal Log.
Antonella Mancini, Domenico Zambella
2001 J jnl
Computational Randomness and Lowness.
J. Symb. Log.
Sebastiaan Terwijn, Domenico Zambella
1998 J jnl
Foundation Versus Induction in Kripke-Platek Set Theory.
J. Symb. Log.
Domenico Zambella
1997 J jnl
Algebraic Methods and Bounded Formulas.
Notre Dame J. Formal Log.
Domenico Zambella
1997 J jnl
End Extensions of Models of Linearly Bounded Arithmetic.
Ann. Pure Appl. Log.
Domenico Zambella
1997 J jnl
Forcing in Finite Structures.
Math. Log. Q.
Domenico Zambella
1996 J jnl
Notes on Polynomially Bounded Arithmetic.
J. Symb. Log.
Domenico Zambella
1994 J jnl
Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Δ
Notre Dame J. Formal Log.
Domenico Zambella
1992 J jnl
On the Proofs of Arithmetical Completeness for Interpretability Logic.
Notre Dame J. Formal Log.
Domenico Zambella
1988 J jnl
Complexity of Forecasting in a Class of Simple Models.
Complex Syst.
Domenico Zambella, Peter Grassberger