A proof of the Independence of the Axiom of Choice (Final Part) | Department of Mathematics

A proof of the Independence of the Axiom of Choice (Final Part)

Event Information
Event Location: 
GAb 461
Event Date: 
Wednesday, November 28, 2012 - 5:00pm

Abstract: Using the tool of forcing via Boolean algebras and the symmetric submodel developed in the last two sessions we will now create a model of ZF where AC is false.