Login with your Reed credentials to view all events.
About this Event
3203 Southeast Woodstock Boulevard, Portland, Oregon 97202-8199
We will go over some big results from mathematical logic and discuss the modern state of the field. Possible topics include model theory, proof theory, reverse mathematics, descriptive and combinatorial set theory, non-classical logics, and forcing. Led by Scott Blair.