Matteo Viale

According to our database, Matteo Viale authored at least 13 papers between 2003 and 2024.

Collaborative distances:

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

2024

Boolean valued semantics for infinitary logics.

Juan M. Santiago Suárez, Matteo Viale

Ann. Pure Appl. Log., January, 2024

2023

Second order arithmetic as the model companion of set theory.

Giorgio Venturi, Matteo Viale

Arch. Math. Log., 2023

2022

Incompatible bounded category forcing axioms.

David Asperó, Matteo Viale

J. Math. Log., 2022

2017

Absoluteness via resurrection.

Giorgio Audrito, Matteo Viale

J. Math. Log., 2017

Useful Axioms.

Matteo Viale

FLAP, 2017

2016

Martin's maximum revisited.

Matteo Viale

Arch. Math. Log., 2016

2013

Towards a taxonomy of suspected forgery in authorship attribution field: a case: Montale's <i>Diario postumo</i>.

Francesca Tomasi, Ilaria Bartolini, Federico Condello, Mirko Degli Esposti, Valentina Garulli, Matteo Viale

Proceedings of the 1st International Workshop on Collaborative Annotations in Shared Environment, 2013

2012

Guessing models and generalized Laver diamond.

Matteo Viale

Ann. Pure Appl. Log., 2012

2008

The Continuum Hypothesis: A Mystery of Mathematics?

Matteo Viale

ERCIM News, 2008

Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics.

Matteo Viale

Bull. Symb. Log., 2008

2006

The proper forcing axiom and the singular cardinal hypothesis.

Matteo Viale

J. Symb. Log., 2006

2004

The cumulative hierarchy and the constructible universe of ZFA.

Matteo Viale

Math. Log. Q., 2004

2003

A binary modal logic for the intersection types of lambda-calculus.

Silvio Valentini, Matteo Viale

Inf. Comput., 2003