On the ideal \(J[\kappa]\) (Q2067636)

For a regular uncountable cardinal \(\kappa\), let \(J_\omega [\kappa]\) denote the set of all \(S \subseteq \kappa\) for which there exist a club \(C \subseteq \kappa\) and a sequence \(\langle f_i : i < \kappa\rangle\) of functions from \(\kappa\) to the collection of all finite subsets of \(\kappa\) with the property that for any \(\alpha \in C \cap S\), any \(g : \alpha \rightarrow \alpha\), and any cofinal subset \(B\) of \(\alpha\), \(\sup \{\beta \in B : g (\beta) \in f_i (\beta) \} = \alpha\) for some \(i < \alpha\). The author shows that (A) if there is a stationary set in \(J_\omega [\kappa]\), and morover \(\square (\kappa)\) and \(\diamondsuit (\kappa)\) both hold, then there is a \(\kappa\)-Souslin tree, (B) under Shelah's Strong Hypothesis (SSH), there is a stationary set in \(J_\omega [\kappa]\) whenever \(\kappa\) is a successor with \((2^{\aleph_1})^+ < \kappa\), and (C) for \(\kappa = \omega_2\), there is a stationary set in \(J_\omega [\kappa]\) if and only if \(\mathfrak{b} = \omega_1\). As an application, he obtains that if \(\mathfrak{b} < 2^{\aleph_n} = \aleph_{n + 1}\) and \(\square (\omega_{n + 1})\) holds, where \(n < \omega\), then there is an \(\omega_{n + 1}\)-Souslin tree.