Prefer a chat interface with context about you and your work?
Pcf theory and Woodin cardinals
Theorem 1.1. Let fi be a limit ordinal. Suppose that 2 jfij @jfij+. Then for all n < ! and for all bounded X ‰@jfij+, M # n (X) exists.