izvor podataka: crosbi
!
ZFC i russellovska nestandardna teorija skupova MP (CROSBI ID 355561)
Ocjenski rad | diplomski rad
Skansi, Sandro
ZFC i russellovska nestandardna teorija skupova MP / Kovač, Srećko (mentor);
Zagreb, Hrvatski studiji, . 2009
Podaci o odgovornosti
Skansi, Sandro
Kovač, Srećko
hrvatski
ZFC i russellovska nestandardna teorija skupova MP
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.
B. Russell; intenzionalnost; teorija skupova; teorija tipova; ZFC
nije evidentirano
engleski
ZFC and Russelian non-standard set theory MP
nije evidentirano
B. Russell; intensionality; set theory; type theory; ZFC
nije evidentirano
Podaci o izdanju
36
28.09.2009.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Hrvatski studiji
Zagreb
Povezanost rada
Povezane osobe
Povezane ustanove
Povezani projekti