Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 21
Titolo Data di pubblicazione Autore(i) File
A binary modal logic for the intersection types of lambdacalculus. 2003 S. Valentini; M. Viale
The cumulative hierarchy and the constructible universe of ZFA 2004 M. Viale
The proper forcing axiom and the singular cardinal hypothesis 2006 M. Viale
A family of covering properties 2008 M. Viale
Forcing axioms, supercompact cardinals, singular cardinals combinatorics 2008 M. Viale
On the mapping reflection principle MRP 2009 M. Viale
Some consequences of reflection on the approachability ideal 2010 Assaf Sharon; Matteo Viale
On the consistency strength of the proper forcing axioms 2011 Viale Matteo, Weiss Christoph
Guessing models and generalized Laver diamond 2012 Matteo Viale
Martin’s Maximum and tower forcing 2013 Sean Cox;Matteo Viale
Martin's maximum revisited 2016 Viale, Matteo
Forcing the truth of a weak form of Schanuel’s conjecture 2016 Viale, Matteo
Category forcings, MM+++, and generic absoluteness for the theory of strong forcing axioms 2016 Viale, Matteo
Absoluteness via resurrection 2017 Audrito, Giorgio; Viale, Matteo
Generic absoluteness and boolean names for elements of a Polish space 2017 Vaccaro, Andrea; Viale, Matteo
New axioms in set theory 2018 Matteo Viale
Set Theory 2021 Farah, Ilijas; Schindler, Ralf-Dieter; Sinapova, Dima; Woodin, W. Hugh, Matteo Viale, altri
Incompatible bounded category forcing axioms 2022 Aspero D.; Viale M.
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM 2023 Venturi, G; Viale, M
Second order arithmetic as the model companion of set theory 2023 Venturi, G; Viale, M
Mostrati risultati da 1 a 20 di 21
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile