A binary modal logic for the intersection types of lambda-calculus. - Silvio Valentini; Matteo Viale (Inf. Comput., 2003)

The cumulative hierarchy and the constructible universe of ZFA. - Matteo Viale (Math. Log. Q., 2004)

The proper forcing axiom and the singular cardinal hypothesis. - Matteo Viale (J. Symb. Log., 2006)

Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics. - Matteo Viale (Bull. Symb. Log., 2008)

The Continuum Hypothesis: A Mystery of Mathematics? - Matteo Viale (ERCIM News, 2008)

Guessing models and generalized Laver diamond. - Matteo Viale (Ann. Pure Appl. Log., 2012)

Towards a taxonomy of suspected forgery in authorship attribution field: a case: Montale's Diario postumo. - Francesca Tomasi; Ilaria Bartolini; Federico Condello; Mirko Degli Esposti; Valentina Garulli; Matteo Viale (DH-CASE@DocEng, 2013)

Martin's maximum revisited. - Matteo Viale (Arch. Math. Log., 2016)

Useful Axioms. - Matteo Viale (FLAP, 2017)

Absoluteness via resurrection. - Giorgio Audrito; Matteo Viale (J. Math. Log., 2017)

Incompatible bounded category forcing axioms. - David Asperó; Matteo Viale (J. Math. Log., 2022)

Second order arithmetic as the model companion of set theory. - Giorgio Venturi; Matteo Viale (Arch. Math. Log., 2023)

What Model Companionship can Say about the continuum Problem. - Giorgio Venturi; Matteo Viale (Rev. Symb. Log., 2024)

Boolean valued semantics for infinitary logics. - Juan M. Santiago Suárez; Matteo Viale (Ann. Pure Appl. Log., 2024)