Forcing axioms are powerful set-theoretic principles that say, roughly, that certain infinite combinatorial processes which "could" succeed in an extended mathematical universe actually do succeed in our current one. The most famous example is Martin's Axiom, and stronger versions like the Proper Forcing Axiom (PFA) have proven enormously useful in settling questions that the standard axioms of mathematics leave undecided. Subcomplete forcing is a class of forcing notions introduced by Ronald Jensen that shares some features with proper forcing but behaves better with respect to certain combinatorial principles, particularly ones involving uncountable cofinalities.
The diamond principle and its strengthening, diamond-plus, are combinatorial statements about the universe of sets that say, intuitively, that there exist "guessing sequences" capable of predicting arbitrary sets of integers in a highly robust way. These principles were introduced by Jensen and play a major role in constructing mathematical objects with special properties. Notably, the strongest classical forcing axioms like PFA are known to be incompatible with diamond-plus, essentially because they imply the continuum is very large in a way that rules out such tight predictive sequences. This incompatibility has long been seen as a fundamental tension between forcing axioms and diamond-type principles.
The paper shows that this tension is not universal: there exists a natural strengthening of the Subcomplete Forcing Axiom that is nonetheless compatible with diamond-plus, meaning both principles can hold simultaneously in a consistent mathematical universe. This is surprising because it demonstrates that the subcomplete context behaves quite differently from the proper forcing context, and it opens the door to models of set theory that enjoy the richness provided by a forcing axiom while also possessing the fine combinatorial structure guaranteed by diamond-plus. The result is established using techniques from inner model theory and careful forcing constructions.