Logic in Analysis Working Seminar | Andy Zucker | Intro to forcing part II

I will finish introducing forcing, in particular stating the truth and definability lemmas. Time permitting, Jashan will begin introducing AW*-algebras.

MC 5301