Available identifiers
zbMath Open viale.matteo Wikidata Q102303311 Scholia Q102303311 MaRDI QID Q251402
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv . We are working on additional sources - please check back here soon!
Publication Date of Publication Type The forcing method in set theory. An introduction via Boolean valued logic 2024-11-14 Paper Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$] 2024-04-04 Paper https://portal.mardi4nfdi.de/entity/Q6119371 2024-03-01 Paper Universality properties of forcing 2023-10-17 Paper Boolean valued semantics for infinitary logics 2023-10-12 Paper Strong forcing axioms and the continuum problem (following Asper\'o's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$) 2023-05-12 Paper Second order arithmetic as the model companion of set theory 2023-04-27 Paper Incompatible bounded category forcing axioms 2022-08-03 Paper What model companionship can say about the Continuum problem 2022-04-28 Paper Another proof that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$ 2021-11-06 Paper Absolute model companionship, forcibility, and the continuum problem 2021-09-06 Paper The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem 2021-01-19 Paper Boolean valued models, presheaves, and \'etal\'e spaces 2020-06-26 Paper Tameness for set theory $I$ 2020-03-16 Paper Tameness for set theory $II$ 2020-03-16 Paper The model companions of set theory 2019-09-29 Paper Incompatible category forcing axioms 2018-05-22 Paper Absoluteness via resurrection 2017-12-04 Paper Generic absoluteness and Boolean names for elements of a Polish space 2017-11-16 Paper Forcing the truth of a weak form of Schanuel's conjecture 2017-07-28 Paper Useful axioms 2016-10-10 Paper Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms 2016-04-25 Paper Martin's maximum revisited 2016-03-02 Paper A Boolean Algebraic Approach to Semiproper Iterations 2014-02-07 Paper Martin's maximum and tower forcing 2013-10-31 Paper Guessing models and generalized Laver diamond 2012-09-26 Paper On the consistency strength of the proper forcing axiom 2011-11-08 Paper Some consequences of reflection on the approachability ideal 2010-08-16 Paper A family of covering properties 2008-08-12 Paper Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics 2008-05-08 Paper A family of covering properties for forcing axioms and strongly compact cardinals 2007-03-03 Paper The proper forcing axiom and the singular cardinal hypothesis 2006-08-03 Paper The cumulative hierarchy and the constructible universe of ZFA 2004-03-15 Paper A binary modal logic for the intersection types of lambda-calculus. 2004-03-14 Paper
Research outcomes over time
This page was built for person: Matteo Viale
