Seminar za matematičku logiku i osnove matematike

lokacija: 
PMF Matematički odsjek
vrijeme: 
26.03.2018 - 17:00 - 18:30

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
.

Share this