A simple \(P_{\aleph_1}\)-point and a simple \(P_{\aleph_2}\)-point (Q6064891)

Summary: We answer the long-standing question whether it is consistent to have simple \(P\)-points of two different charachters. For a filter \(\mathfrak{F}\) over \(\omega\) Guzmán and Kalajdzievski introduced a parametrised version of Miller forcing called \(\mathbb{P}\mathbb{T}(\mathfrak{F})\). By combining iterands of the type \(\mathbb{P}\mathbb{T}(\mathfrak{F})\) with others we established: It is consistent relativ to ZFC that there is a simple \(P_{\aleph_1}\)-point and a simple \(P_{\aleph_2}\)-points. A main technical point is the use of properness and descriptive complexity in the limit steps of uncountable confinality.