Matteo Viale

According to our database1, Matteo Viale authored at least 14 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Boolean valued semantics for infinitary logics.
Ann. Pure Appl. Log., January, 2024

What Model Companionship can Say about the continuum Problem.
Rev. Symb. Log., 2024

2023
Second order arithmetic as the model companion of set theory.
Arch. Math. Log., 2023

2022
Incompatible bounded category forcing axioms.
J. Math. Log., 2022

2017
Absoluteness via resurrection.
J. Math. Log., 2017

Useful Axioms.
FLAP, 2017

2016
Martin's maximum revisited.
Arch. Math. Log., 2016

2013
Towards a taxonomy of suspected forgery in authorship attribution field: a case: Montale's <i>Diario postumo</i>.
Proceedings of the 1st International Workshop on Collaborative Annotations in Shared Environment, 2013

2012
Guessing models and generalized Laver diamond.
Ann. Pure Appl. Log., 2012

2008
The Continuum Hypothesis: A Mystery of Mathematics?
ERCIM News, 2008

Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics.
Bull. Symb. Log., 2008

2006
The proper forcing axiom and the singular cardinal hypothesis.
J. Symb. Log., 2006

2004
The cumulative hierarchy and the constructible universe of ZFA.
Math. Log. Q., 2004

2003
A binary modal logic for the intersection types of lambda-calculus.
Inf. Comput., 2003


  Loading...