Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 14. ožujka 2022. u 17 sati (online), 

Stipe Marić će održati predavanje

Sažetak: Na prošlom seminaru smo definirali sistem IL− i pokazali koliko ukupno ima podlogika sistema IL dobivenih dodavajući sistemu IL− određene aksiome. U nastavku seminara pokazat ćemo (ne)potpunost tih podlogika u odnosu na IL− okvire.

 

Zoom link:https://zoom.us/j/97325200710?pwd=b2g1ZCtSTjk1dmRQZVVYWTUwOFdMZz09