Učitavanje video playera...
01:25:58
Tin Adlešić: Prošireni modeli teorije skupova
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.
