\( \renewcommand\iff{\Leftrightarrow} \def\st{\,\cdot\ni\cdot\,} \) Daniele Garrisi Home Page

Set Theory

The course is on the axiomatic approach to Set Theory of Neumann-Bernays-Gödel (NBG). The text book is "Set Theory" of Charles Pinter (Addison-Wesley Publ. Co. 1971).

Week Fifteen

This was the final exam for the students who cannot not take the test on Tuesday 17; these are the solutions.

Week Fourteen

Please, do exercise 4 of the handout, exercise 3 (page 98) and exercise 1 (page 146) in the textbook. The due date is Tuesday, June, 10.

Here you can find the solutions of the exercises of the assignment.

Week Thirteen

Here you can find four exercises. Please, do also exercises 4, 9 and 10 of page 125 of the book.

This is the content of the lecture of Friday, May 30th, and this is the lecture in desktop recording.

This is the content of the lecture of Tuesday, May 27th, and this is the lecture in desktop recording.

Week Eleven

This is the syllabus of the lecture. At the first page there is the proof this fact: if $ P $ is a partition of $ A $, then $ xGy\iff\exists B\in P\st x,y\in B $ is an equivalence class, and $ A/G = P $.

At page two, please do exercise 1,2 and 3. At page three you can find some exercises on the equivalence relation from the textbook (Charles Pinter, Set Theory). Please do exercises 1 and 3.

These are the solutions of the exercises of page 2. Here you can find the solution of the exercise 3, page 98.

Week Ten

This is a note on equivalent definitions of bijective functions

Week Three

Homeworks

Solutions

Week Two

Homeworks

Solutions

Week One

Homeworks

Solutions