TY - RPRT TI - A strongly compact cardinal yields a left and right coherent ring with $\mathcal{PGF}(R)\subsetneq\mathcal{GP}(R)$ AU - Chencheng Zhang PY - 2026 UR - https://arxiv.org/abs/2608.17748 ID - 2608.17748 ER -