Seminar za matematičku logiku i osnove matematike
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 14. rujna 2020. u 17:15 sati,
Sebastijan Horvat će održati predavanje
Osiguravajuće oznake u dokazima potpunosti logika interpretabilnosti
Sažetak:
Albert Visser definirao je sistem IL 1988. godine. De Jongh i Veltman dokazali su modalnu potpunost logike IL 1990. godine. Postavlja se pitanje potpunosti raznih proširenja te logike, poput logika ILW, ILP, ILR i drugih. De Jong i Veltman su dokazali modalnu potpunost logika ILM, ILP i ILW. Evan Goris, Marta Bilkova i Joost J. Joosten 2004. godine predstavili su relativno jednostavan dokaz modalne potpunosti (i odlučivosti) logike ILW. Uveli su i primijenili u tom dokazu, tzv. osiguravajuće oznake.
Nakon vrlo kratkog pregleda Goris-Joostenove metode konstrukcije za dokazivanje potpunosti nekih logika interpretabilnosti, predstavit ćemo osiguravajuće oznake i vidjeti neka njihova svojstva. Također će biti prikazana njihova primjena u dokazu potpunosti logike interpretabilnosti ILW.
Link za online praćenje bit će objavljen naknadno.