Pregled bibliografske jedinice broj: 428459
ZFC i russellovska nestandardna teorija skupova MP
ZFC i russellovska nestandardna teorija skupova MP, 2009., diplomski rad, Hrvatski studiji, Zagreb
CROSBI ID: 428459 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
ZFC i russellovska nestandardna teorija skupova MP
(ZFC and Russelian non-standard set theory MP)
Autori
Skansi, Sandro
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad
Fakultet
Hrvatski studiji
Mjesto
Zagreb
Datum
28.09
Godina
2009
Stranica
36
Mentor
Kovač, Srećko
Ključne riječi
B. Russell; intenzionalnost; teorija skupova; teorija tipova; ZFC
(B. Russell; intensionality; set theory; type theory; ZFC)
Sažetak
Polazeći od Russellova Introduction to Mathematical Philosophy, razvija se teorija skupova MP, sa specifičnim aksiomom intenzionalnosti. a bez aksioma ekstenzionalnosti, umjesto kojega se dokazuje teorem ekstenzionalnosti. Također ZFC-aksiomi separacije, uređenoga para i zamjene, dokazuju se kao teoremi.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)
Ustanove:
Institut za filozofiju, Zagreb
Profili:
Srećko Kovač
(mentor)
