Existence of Shelah–Steprāns almost disjoint families in the constructed model
Existence conjecture. There are Shelah–Steprāns almost disjoint families in V[Gω2]{\mathbf{V}}[{G}_{{\omega}_{2}}]V[Gω2], necessarily of size ℵ2{\aleph}_{2}ℵ2.