- Modely teorie množinALG500006 | Filozofická fakulta
- Matematika a teorie množinALG519023 | Filozofická fakulta
- ForcingALGV00054 | Filozofická fakulta
- Forcing IIALGV103 | Filozofická fakulta
- Teorie množin +1NLTM001 | Matematicko-fyzikální fakulta
- Úvod do matematické logikyNMAG162 | Matematicko-fyzikální fakulta
- Logika a teorie množinNMTM503 | Matematicko-fyzikální fakulta