Úgy tudom, még nem tudják. Ez egyébként Shelah híres pcf-módszerének (possible cofinalities) egy alkalmazása (tkp. ezért kapott Bolyai-díjat). Menachem Kojman-nak van egy jó bevezetője a pcf-be, letölthető. Csak rá kell keresni a Google-on.