Seminar za matematičku logiku i osnove matematike
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 26.
ožujka 2018. u 17 sati u predavaonici 105, PMF-MO, Luka Mikec će održati
predavanje
Potpunost logike interpretabilnosti ILP
Sažetak: Logika interpretabilnosti ILP aritmetički karakterizira jednu
bitnu klasu teorija. Opisat ćemo alternativan dokaz njene modalne
potpunosti, koji je dobiven (manjim) izmjenama dokaza potpunosti logike IL
tzv. step-by-step pristupom Evana Gorisa i Joosta Joostena.
Predavanje se može pratiti i na https://meduza.carnet.hr/index
.php/media/watch/11640.