Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek (virtualno)
vrijeme:
07.03.2022 - 17:00 - 19:00 Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 7. ožujka 2022. u 17 sati,
Stipe Marić će održati predavanje
Logika konzervativnosti i druge podlogike sistema IL
Sažetak: Na seminaru će se definirati sistem IL− i promatrati neka proširenja tog sistema koja su ujedno i podlogike sistema IL. Primjer jedne takve logike je sistem CL. Pokazat ćemo koliko ukupno ima podlogika sistema IL dobivenih dodavajući sistemu IL− određene aksiome. Na kraju ćemo pokazati (ne)potpunost tih podlogika u odnosu na IL− okvire.