Seminar za matematičku logiku i osnove matematike

Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 8. veljače 2021. u 17:15 sati, Tin Adlešić će održati predavanje Prošireni modeli teorije skupova.

Sažetak: Prošireni modeli teorije skupova (Boolean-valued models) pojavljuju se 1960-ih kao alternativni pristup Cohenovoj metodi forcinga. Glavna ideja je pomoću potpune Booleove algebre proširiti pojam istinitosti u tom modelu. Istinitosna vrijednost nije više samo "istina" ili "laž", već je to bilo koji element Booleove algebre. Pokazuje se da su aksiomi teorije ZFC istiniti u proširenom modelu, a izborom odgovarajućih Booleovih algebri mogu se dobiti modeli u kojima vrijede razne tvrdnje poput negacije hipoteze kontinuuma i negacije aksioma konstruktibilnosti. Također, metodom Fraenkela i Mostowskog dokazuje se da je moguće konstruirati prošireni model u kojem ne vrijedi aksiom izbora.

Podaci za online praćenje preko Zoom platforme:

Topic: SLOM

Link: https://zoom.us/j/92305464243?pwd=TjUwa3VyTG5KT0pIbzluUURBemxJdz09
Meeting ID: 923 0546 4243
Passcode: 020169

Pozvani su svi članovi seminara i ostali zainteresirani!