Matteo Viale

14 papers Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Boolean valued semantics for infinitary logics.
Ann. Pure Appl. Log.
Juan M. Santiago Suárez, Matteo Viale
2024 J jnl
What Model Companionship can Say about the continuum Problem.
Rev. Symb. Log.
Giorgio Venturi, Matteo Viale
2023 J jnl
Second order arithmetic as the model companion of set theory.
Arch. Math. Log.
Giorgio Venturi, Matteo Viale
2022 J jnl
Incompatible bounded category forcing axioms.
J. Math. Log.
David Asperó, Matteo Viale
2017 J jnl
Absoluteness via resurrection.
J. Math. Log.
Giorgio Audrito, Matteo Viale
2017 J jnl
Useful Axioms.
FLAP
Matteo Viale
2016 J jnl
Martin's maximum revisited.
Arch. Math. Log.
Matteo Viale
2013 — conf
Towards a taxonomy of suspected forgery in authorship attribution field: a case: Montale's
DH-CASE@DocEng
Francesca Tomasi, Ilaria Bartolini, Federico Condello, Mirko Degli Esposti, Valentina Garulli, Matteo Viale
2012 J jnl
Guessing models and generalized Laver diamond.
Ann. Pure Appl. Log.
Matteo Viale
2008 J jnl
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics.
Bull. Symb. Log.
Matteo Viale
2008 J jnl
The Continuum Hypothesis: A Mystery of Mathematics?
ERCIM News
Matteo Viale
2006 J jnl
The proper forcing axiom and the singular cardinal hypothesis.
J. Symb. Log.
Matteo Viale
2004 J jnl
The cumulative hierarchy and the constructible universe of ZFA.
Math. Log. Q.
Matteo Viale
2003 J jnl
A binary modal logic for the intersection types of lambda-calculus.
Inf. Comput.
Silvio Valentini, Matteo Viale