# Martin's Maximum and the Diagonal Reflection Principle

## TL;DR

This paper demonstrates that Martin's Maximum, a strong forcing axiom, does not imply the Diagonal Reflection Principle for stationary subsets of  , clarifying the independence of these set-theoretic principles.

## Contribution

The paper establishes the independence of the Diagonal Reflection Principle from Martin's Maximum, showing they are not logically equivalent.

## Key findings

- Martin's Maximum does not imply the Diagonal Reflection Principle.
- The result clarifies the relationship between forcing axioms and reflection principles.
- Provides new insights into the hierarchy of set-theoretic axioms.

## Abstract

We prove that Martin's Maximum does not imply the Diagonal Reflection Principle for stationary subsets of $[ \omega_2 ]^\omega$.