TY  - RPRT
TI  - The consistency strength of long projective determinacy
AU  - Juan P. Aguilera
AU  - Sandra Müller
PY  - 2019
DO  - 10.1017/jsl.2019.78
UR  - https://arxiv.org/abs/1906.11949
ID  - 1906.11949
ER  -