Shading the complemented subspace problem (Q6913643)

This is what the authors call a ``research-survey-like paper'' in which they first review the Ehrenfeucht-Fraïssé game à la Heinrich-Henson [\textit{S.~Heinrich} and \textit{C.~W. Henson}, Math. Nachr. 125, 301--317 (1986; Zbl 0633.46076)]; those authors had connected these ideas to elementary equivalence from model theory for the Banach space structure. They go on to discuss the Keisler-Shelah theorem that says that two structures are elementarily equivalent if and only if they have isomorphic ultrapowers, for some ultrafilter. Consequently, there is also a section on ultrapowers of Banach spaces.\N\NAnd of course, there are short exact sequences; in Proposition~7.4 the authors come to the conclusion that a Banach space elementarily equivalent to \(c_0\) is a complemented subspace of some \(C(K)\)-space.\N\NA discussion of the complemented subspace problem for spaces of continuous functions ensues, which asks whether a complemented subspace of \(C(K)\) is isomorphic to a space of continuous functions. This was solved in the negative by \textit{G.~Plebanek} and \textit{A.~Salguero-Alarcón} [Adv. Math. 426, Article ID 109103, 20~p. (2023; Zbl 1522.46008)]. The contribution of the paper at hand is that a predecessor of the counterexample, namely the space constructed in [\textit{G.~Plebanek} and \textit{A.~Salguero Alarcón}, J. Funct. Anal. 281, No.~9, Article ID 109193, 15~p. (2021; Zbl 1485.46022)] under some set-theoretic assumptions, already serves as a counterexample, by Proposition~7.4.\N\NThe last section ``pencils some additional shading'' (hence the title) on this complemented subspace problem for spaces with a separable dual, where the problem remains open.\N\NAs always, the writing by these authors is lively and enjoyable; I would have enjoyed it even more had they eliminated some more typos. (Petty remark: The authors seem to have a knack for the initial~H., since in the bibliography Stefan Heinrich is listed as H.~Heinrich and Jochen Wengenroth as H.~Wengenroth.)