Items where Author is "Zambella, Domenico"

Report

ML-1997-07: Terwijn, Sebastiaan A. and Zambella, Domenico (1997) Algorithmic Randomness and Lowness. [Report]

ML-1996-01: Zambella, Domenico (1996) Algebraic Methods and Bounded Formulas. [Report]

ML-1996-11: Zambella, Domenico (1996) Forcing in Finite Structures (revised version of ML-1996-02). [Report]

ML-1996-02: Zambella, Domenico (1996) On Forcing in Bounded Arithmetic (superseded by ML-1996-11). [Report]

ML-1994-02: Zambella, Domenico (1994) End Extensions of Models of Linearly Bounded Arithmetic. [Report]

ML-1994-01: Zambella, Domenico (1994) Notes on polynomially bounded arithmetic. [Report]

ML-1992-05: Zambella, Domenico (1992) Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories containing ID0 + EXP. [Report]

ML-1991-03: Zambella, Domenico (1991) On the Proofs of Arithmetical Completeness for Interpretability Logic. [Report]

ML-1990-05: Zambella, Domenico (1990) Sequences with Simple Initial Segments. [Report]

Thesis

DS-1994-06: Zambella, Domenico (1994) Chapters on Bounded Arithmetic and on Provability Logic. Doctoral thesis, University of Amsterdam.