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.
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now