Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek
vrijeme:
06.11.2023 - 17:15 - 19:00
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 6. studenoga 2023. u 17:15 sati, u predavaonici 201, PMF-MO,
Vedran Čačić će održati predavanje
Proširenje signature teorije NFU
Sažetak: NFU je alternativna teorija skupova, koja se bavi pridruživanjem razina (tipova) varijablama i termima u formulama koje komprehenzijom definiraju skupove. Na taj način eliminiraju se mnogi paradoksi, i kriterij za bivanje skupom nije veličina klase (kao u ZFu) već stratificiranost njene definicije.
Pri razvoju teorije skupova, uobičajeno je čitavo vrijeme proširivati signaturu: imenovati određene terme funkcijskim (ili konstantskim) simbolima te imenovati određene formule relacijskim simbolima. To možemo činiti i u NFU, ali opreznije, pazeći da stratificiranost ostane očuvana. Vidjet ćemo što to točno znači za terme i formule teorije NFU, te navesti primjere.
