Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 13. prosinca 2021. u 16:30 sati, u predavaonici 105, PMF-MO, Tin Adlešić će održati predavanje

Formalni pristup stratifikaciji u NF/NFU

Sažetak: Centralni pojam teorije NF(U) je pojam stratifikacije i stratificirane formule.
Dokazat ćemo neka na prvi pogled jednostavna svojstva tipizacija (pridruživanje
tipova varijablama koje zadovoljava određene uvjete), među kojima je najvažnije
ono o postojanju najmanje tipizacije za svaku stratificiranu formulu. Nadalje,
nakon uvođenja aksioma teorije NFU razvijamo sredstva za daljnji strogi razvoj.
Proširujemo osnovni jezik tako što uvodimo apstrakcijske i ugniježđene apstrak-
cijske terme te opisujemo kako im možemo pridružiti tip. Na taj način smo u
mogućnosti provjeravati je li neka formula stratificirana u proširenom jeziku, bez
da ju raspisujemo u osnovni jezik. Korisnost takvog pristupa demonstriramo na
teoremu o postojanju skupa svih ordinalnih i kardinalnih brojeva.