James Hirschorn Summable gaps. 1-63 2003 120 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal120.html#Hirschorn03 http://dx.doi.org/10.1016/S0168-0072(02)00034-9