Seminar za matematičku logiku i osnove matematike

Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 27. studenoga 2023. u 17:15 sati, u predavaonici 201, PMF-MO, Vedran Čačić će održati predavanje

Proširenje signature teorije NFU (2)

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.