Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek
vrijeme:
02.05.2016 - 17:00 - 19:00 Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 2. svibnja 2016. u 17 sati, u predavaonici 104, PMF-MO, Mladen Vuković će održati predavanje
Generalizirani Veltmanovi modeli (2)
Sažetak: Logike interpretabilnosti su prirodno proširenje logika dokazivosti. Osnovna semantika za logike interpretabilnosti su Veltmanovi modeli. Uz mnoga dobra svojstva, Veltmanova semantika ima i nedostatke, pa se razmatraju i druge semantike. U seminaru će se definirati nekoliko verzija generaliziranih Veltmanovih modela, te će se razmatrati veze s osnovnom Veltmanovom semantikom. Ilustrirat će se veza Friedmanovih i Visserovih modela, te Berarduccijev dokaz egzistencije bisimulacije između pojednostavljenih i osnovnih Veltmanovih modela. Veze između raznih vrsta semantika koriste se prilikom dokaza svojstava konačnih modela i odlučivosti.
Tin Perkov
