Distinguishing Internally Club and Approachable on an Infinite Interval (2404.15230v1)

Abstract: Krueger showed that PFA implies that for all regular $\Theta \ge \aleph_2$, there are stationarily many $[H(\Theta)]^{\aleph_1}$ that are internally club but not internally approachable. From countably many Mahlo cardinals, we force a model in which, for all positive $n<\omega$ and $\Theta \ge \aleph_{n+1}$, there is a stationary subset of $[H(\Theta)]^{\aleph_n}$ consisting of sets that are internally club but not internally approachable. The theorem is obtained using a new variant of Mitchell forcing. This answers questions of Krueger.