TY  - RPRT
TI  - Ideals and Strong Axioms of Determinacy
AU  - Dominik Adolf
AU  - Grigor Sargsyan
AU  - Nam Trang
AU  - Trevor Wilson
AU  - Martin Zeman
PY  - 2022
UR  - https://arxiv.org/abs/2111.06220
ID  - 2111.06220
ER  -