Results and independence proofs in combinatorial set theory