Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 428459

ZFC i russellovska nestandardna teorija skupova MP


Skansi, Sandro
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


Projekt / tema
191-1911111-2730 - Logičke strukture i intencionalnost (Srećko Kovač, )

Ustanove
Institut za filozofiju, Zagreb

Profili:

Avatar Url Srećko Kovač (mentor)

Citiraj ovu publikaciju

Skansi, Sandro
ZFC i russellovska nestandardna teorija skupova MP, 2009., diplomski rad, Hrvatski studiji, Zagreb
Skansi, S. (2009) 'ZFC i russellovska nestandardna teorija skupova MP', diplomski rad, Hrvatski studiji, Zagreb.
@phdthesis{phdthesis, author = {Skansi, S.}, year = {2009}, pages = {36}, keywords = {B. Russell, intensionality, set theory, type theory, ZFC}, title = {ZFC and Russelian non-standard set theory MP}, keyword = {B. Russell, intensionality, set theory, type theory, ZFC}, publisherplace = {Zagreb} }