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.
Logic and Computation Seminar
Monday, February 26, 2007 - 4:30pm
Nate Ackerman
University of Pennsylvania