TY - RPRT TI - A tail cone version of the Halpern-Läuchli theorem at a large cardinal AU - Jing Zhang PY - 2017 DO - 10.1017/jsl.2017.55 UR - https://arxiv.org/abs/1704.06827 ID - 1704.06827 ER -