ByNobleID
    On countable cofinality of definable chains in Borel partial orders | NobleID