Matteo Viale

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 7

Top Topics

Valued Semantics

Functional Dependencies

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Juan M. Santiago Suárez, Matteo Viale
Boolean valued semantics for infinitary logics. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Giorgio Venturi, Matteo Viale
What Model Companionship can Say about the continuum Problem. Rev. Symb. Log. 17 (2) (2024)
Giorgio Venturi, Matteo Viale
Second order arithmetic as the model companion of set theory. Arch. Math. Log. 62 (1) (2023)
David Asperó, Matteo Viale
Incompatible bounded category forcing axioms. J. Math. Log. 22 (2) (2022)
Giorgio Audrito, Matteo Viale
Absoluteness via resurrection. J. Math. Log. 17 (2) (2017)
Matteo Viale
Useful Axioms. FLAP 4 (10) (2017)
Matteo Viale
Martin's maximum revisited. Arch. Math. Log. 55 (1-2) (2016)
Francesca Tomasi, Ilaria Bartolini, Federico Condello, Mirko Degli Esposti, Valentina Garulli, Matteo Viale
. DH-CASE@DocEng (2013)
Matteo Viale
Guessing models and generalized Laver diamond. Ann. Pure Appl. Log. 163 (11) (2012)
Matteo Viale
The Continuum Hypothesis: A Mystery of Mathematics? ERCIM News 2008 (73) (2008)
Matteo Viale
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics. Bull. Symb. Log. 14 (1) (2008)
Matteo Viale
The proper forcing axiom and the singular cardinal hypothesis. J. Symb. Log. 71 (2) (2006)
Matteo Viale
The cumulative hierarchy and the constructible universe of ZFA. Math. Log. Q. 50 (1) (2004)
Silvio Valentini, Matteo Viale
A binary modal logic for the intersection types of lambda-calculus. Inf. Comput. 185 (2) (2003)