Todorčević's consistency conjecture for regular hereditary Lindelöf spaces
Todorčević's conjecture. It is relatively consistent with ZFC\mathsf{ZFC}ZFC that if XXX is a regular HL\mathsf{HL}HL space, then OGA(X)\mathsf{OGA}(X)OGA(X) holds.