Domenico Zambella

According to our database, Domenico Zambella authored at least 14 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Ramsey's Coheirs.

Eugenio Colla, Domenico Zambella

J. Symb. Log., 2022

2015

The Real truth.

Stefano Baratella, Domenico Zambella

Math. Log. Q., 2015

Elementary classes of finite VC-dimension.

Domenico Zambella

Arch. Math. Log., 2015

2012

Generic Expansions of Countable Models.

Silvia Barbina, Domenico Zambella

Notre Dame J. Formal Log., 2012

2001

A Note on Recursive Models of Set Theories.

Antonella Mancini, Domenico Zambella

Notre Dame J. Formal Log., 2001

Computational Randomness and Lowness.

Sebastiaan Terwijn, Domenico Zambella

J. Symb. Log., 2001

1998

Foundation Versus Induction in Kripke-Platek Set Theory.

Domenico Zambella

J. Symb. Log., 1998

1997

Algebraic Methods and Bounded Formulas.

Domenico Zambella

Notre Dame J. Formal Log., 1997

Forcing in Finite Structures.

Domenico Zambella

Math. Log. Q., 1997

End Extensions of Models of Linearly Bounded Arithmetic.

Domenico Zambella

Ann. Pure Appl. Log., 1997

1996

Notes on Polynomially Bounded Arithmetic.

Domenico Zambella

J. Symb. Log., 1996

1994

Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Δ_0s + exp.

Domenico Zambella

Notre Dame J. Formal Log., 1994

1992

On the Proofs of Arithmetical Completeness for Interpretability Logic.

Domenico Zambella

Notre Dame J. Formal Log., 1992

1988

Complexity of Forecasting in a Class of Simple Models.

Domenico Zambella, Peter Grassberger

Complex Syst., 1988