Available identifiers
zbMath Open viale.matteoWikidataQ102303311 ScholiaQ102303311MaRDI QIDQ251402
List of research outcomes
Publication | Date of Publication | Type |
---|
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, 𝑀𝑀⁺⁺⁺, 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Matteo Viale