It's less about what the definition of "ridge" is, and more about the whims of cartographers and those charged with formally registering geographic place names. You can only fit so much on a map before it gets cramped and unreadable, and in this case it's just not a very prominent feature either (despite looking so from certain angles), so it was likely just not deemed significant enough to bother naming.

A lot of place names originate from outdoor recreation communities as well, and summits are often named by climbers. That this ridge isn't recognized by name (other than the specific high points I mentioned previously) within the climbing community is kind of a testament to its relative insignificance.