Učitavanje video playera...
00:58:48
Tin Adlešić: Goldblatt-Thomasonov teorem bez pretpostavke elementarnosti
Goldblatt-Thomasonov teorem standardni je rezultat modalne logike. Pomoću njega se karakterizira elementarna klasa (Kripkeovih) okvira: elementarna klasa okvira je modalno definabilna ako i samo ako je zatvorena na generirane podmodele, disjunktne unije, slike ograničenih morfizama i reflektira ultrafilterska proširenja. Međutim, vrijedi i općenitiji rezultat, bez pretpostavke elementarnosti klase okvira. U ovom seminaru glavni nam je cilj dokazati taj općenitiji rezultat te onda pomoću njega dobiti standardni Goldblatt-Thomasonov teorem.
