Seminar za matemati~cku logiku i osnove matematike
povijest
- Vrijeme: ponedjeljak, 30. svibnja 2005., 17:15
- Predava~c: Vedran ~Ca~ci~t
- Naslov: Konstruktibilni skupovi (1) - izgradnja konstruktibilne hijerarhije
Sa~zetak:
Motivacija i povijesni aspekt konstruktibilne hijerarhije. Relativne interpretacije i unutra~snji modeli. Op~tenito o skupovnim hijerarhijama. Definabilni podskupovi.