Combinatorial set theory of c*-algebras (2019)