Workshop in set theory