Penn Arts & Sciences Logo

Logic and Computation Seminar

Monday, February 26, 2007 - 4:30pm

Nate Ackerman

University of Pennsylvania

Location

University of Pennsylvania

DRL 4C8

In this talk we will show, using the method of forcing, that the axiom of choice is independent of the other axioms of set theory. We will then also consider other results using the method of forcing.