Class 26: Power(set) of Induction

Website Update

The Problem Sets and Tests are now available on easy to find pages on the course website (and the menu).

Note that we have made a update to the solution to the last problem on Test 2: it is true that the set \( \mathbb{M} \) only contains the element \( \emptyset \), but there are many indonktive sets (including one that contains the elements that correspond to the set of natural numbers). The key aspect of the definition of \( \mathbb{M} \) is that it is the elements that are in any indonktive set, so for an element to be in \( \mathbb{M} \) it has to be in every indonktive set, and the only element that is in every indonktive set is \( \emptyset \). (Thanks to Alex Boback for noticing this!)

Schedule

• Problem Set 6 is now posted and is due on Thursday, March 27, 8:29pm: [PDF] [Template]

Class

• Power Set size proof

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]