TY - RPRT TI - Showing OCA in Pmax-style extensions AU - Paul Larson PY - 1999 UR - https://arxiv.org/abs/math/9911052 ID - math/9911052 ER -