A proof of the Independence of the Axiom of Choice (Part 2) | Department of Mathematics
  1. Home
  2. A proof of the Independence of the Axiom of Choice (Part 2)

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

Event Information
Speaker: 
Jared Holshouser
Event Location: 
GAB 461
Event Date: 
Tuesday, November 20, 2012 - 4:00pm

Abstruct:

This time we will create the symmetric submodel of the generic extension. This is a tool which allows us to modify the forcing construction after the initial set up.