Miha Habič: Boolovi modeli teorije množic

Cohenova metoda preddoločanja se je v zadnjih 50 letih izkazala za izjemno plodovito. Na stotine trditev je bilo dokazanih neodvisnih od standardne teorije množic, kar kaže hkrati na omejenost sprejetih temeljev matematike in na relevantnost vprašanj in metod teorije množic tudi v drugih vejah raziskovanja. Verjetno najbolj odmevna in privlačna uporaba preddoločanja pa je še zmeraj prvotni Cohenov dokaz neodvisnosti Cantorjeve hipoteze kontinuuma.

Na tokratnem seminarju si bomo ogledali konstrukcijo Boolovega modela teorije množic, katerega obogatena semantika nam bo dala jasno intuitivno sliko dogajanja pri metodi preddoločanja.

Vabljeni! (Predavanje bo v angleščini, če bodo prisotni kaki Nizozemci.)