Pregled bibliografske jedinice broj: 60869
Matematičke teorije u jezicima drugog reda
Matematičke teorije u jezicima drugog reda, 1990., magistarski rad, PMF-Matematički odjel, Zagreb
CROSBI ID: 60869 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Matematičke teorije u jezicima drugog reda
(Mathematical theories in second order languages)
Autori
Vuković, Mladen
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad
Fakultet
PMF-Matematički odjel
Mjesto
Zagreb
Datum
15.12
Godina
1990
Stranica
92
Mentor
Kirin, G. Vladimir
Ključne riječi
teorije drugog reda
(second order theories)
Sažetak
Rad se sastoji od tri poglavlja. U prvom poglavlju proučava se logika drugog reda. Dokazani su negativni rezultati za tu teoriju. Definirana je standardna i Henkinova interpretacija. U drugom poglavlju razmatrana je aritmetika drugog reda. Pokazana je veza između aritmetike drugog reda i određenog fragmenta teorije skupova. Proučavana su beskonačna pravila dokaza. U trećem poglavlju definirana je teorija skupova drugog reda. Dokazana je kvazi-kategoričnost te teorije, te ekvivalentnost teorije skupova drugog reda i određene teorije klasa.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
