User blog comment:Kyodaisuu/Mashimo function/@comment-24509095-20140705233241/@comment-1605058-20140707092942

Formalizm time: for ordinals a,b we define a-b as order type of set difference a\b when ordered by set inclusion. Gap between ordinals a and b is then max(a-b, b-a).

Iko, first gap you mentioned has size w_1^CK, latter has size w_101^CK. So you are right - this gap is no larger, it's much smaller.

Wyth, in your first example, both gaps have size w_1^CK.