Mathematical Logic and Set Theory, with an emphasis on forcing, consistency results, combinatorial set theory, and inner model theory