Set-theoretic update on topology (Q2874861)

This is a survey of results that have a~strong set-theoretic flavor and it is focused on new aspects of the set-theoretic methods. The selected topics include applications of the forcing axiom PFA\((S)\) (where \(S\) is a Suslin tree) to such problems as Katětov's problem about hereditarily normal squares, the \(P\)-ideal dichotomy, the compact small diagonal problem, and to show that compact spaces of countable tightness are sequentially compact. A forcing construction of a counterexample to Katětov's problem based on a CH example given by Gruenhage and Nyikos is presented. An Efimov space is an infinite compact space containing no nontrivial convergent sequences and no copy of~\(\beta\mathbb N\). There is a brief discussion of Efimov spaces using Koszmider's notion of a T-algebra. There is an application of PFA to the structure of compact sequential spaces related to the question of the maximum possible sequential order, and a review of selectively separable spaces. The final section includes a discussion of properties of Justin Moore's L-space whose construction uses Todorcevic's method of minimal walks.NEWLINENEWLINEFor the entire collection see [Zbl 1282.54001].