Items where Author is "Visser, Albert"

Report

PP-2016-32: Henk, Paula and Visser, Albert (2016) Interpretability suprema in Peano Arithmetic. [Report]

PP-2010-07: de Jongh, Dick and Verbrugge, Rineke and Visser, Albert (2010) Intermediate Logics and the de Jongh Property. [Report]

LP-1996-04: Muskens, Reinhard and van Benthem, Johan and Visser, Albert (1996) Dynamics. [Report]

ML-1995-06: de Jongh, Dick and Visser, Albert (1995) Embeddings of Heyting Algebras (revised version of ML-1993-14). [Report]

ML-1994-03: van Benthem, Johan and de Jongh, Dick and de Lavalette, Gerard Renardel and Visser, Albert (1994) NNIL, A Study in Intuitionistic Propositional Logic. [Report]

ML-1993-14: de Jongh, Dick and Visser, Albert (1993) Embeddings of Heyting Algebras (superseded by ML-1995-06). [Report]

ML-1989-01: de Jongh, Dick and Visser, Albert (1989) Explicit Fixed Points for Interpretability Logic. [Report]

Thesis

HDS-22: Visser, Albert (2017) Aspects of Diagonalization & Provability. Doctoral thesis, University of Amsterdam.