FMF in IMFM, Matematična knjižnica, Ljubljana (MAKLJ)
-
Razredi in množice z vidika notranjih modelov teorije ZF : magistrsko deloMarinič, AndrejaRelativno konsistenco in neodvisnost aksioma izbire in posplošene hipoteze kontinuuma na osnovne aksiome Zermelo-Fraenkelove teorije množic lahko dokažemo z metodo notranjih modelov. Za opredelitev ... te metode pa je potrebno temeljito poznavanje ordinalnih in kardinalnih števil in predvsem nov pristop k teoriji množic kot splošni teoriji dvomestnih relacij, ki zadoščajo aksiomom Zermelo-Fraenkelove teorije množic (ZF). Zato v magistrskem delu obravnavamo tako imenovane univerzume objektov (množic), ki so opremljeni z binarno relacijo (pripadnosti), katere lastnosti so opredeljene z aksiomi teorije ZF. Na poljubnem univerzumu z osnovnima relacijama pripadnosti in enakosti definiramo različne relacije. Med temi relacijami posebej poudarimo nekatere strukture urejenosti. Vsaka enomestna relacija pa opredeljuje razred. Z uporabo aksiomov teorije ZF proučujemo pomembno vprašanje, kateri razredi so množice. Z vidika razredov opredelimo in proučujemo lastnosti ordinalnih števil in podamo nekaj uporabnih definicij z indukcijo po ordinalnih številih za kasnejše dokazovanje pomembnih trditev. Mednje sodijo predvsem ekvivalence različnih inačic aksioma izbire z Zornovo lemo in Zermalovim izrekom o dobri urejenosti. Vpeljemo tudi kardinalna števila in obravnavamo kardinalno aritmetiko. Dokažemo Cantor-Bernsteinov izrek in Cantorjev izrek. Naposled zapišemo aksiom o neskončnosti in dokažemo nekaj ekvivalentnih oblik. Vpeljemo pojma neskončne množice in neskončnega kardinalnega števila. Predstavimo hipotezo kontinuuma in posplošeno hipotezo kontinuuma.Vrsta gradiva - magistrsko delo ; neleposlovje za odrasleZaložništvo in izdelava - Ljubljana : [A. Marinič], 2000Jezik - slovenskiCOBISS.SI-ID - 9680729
Avtor
Marinič, Andreja
Drugi avtorji
Prijatelj, Andreja
Teme
matematika |
teorija množic |
aksiomi |
ordinalna števila |
kardinalna števila |
aksiom izbire |
mathematics |
axiomatic set theory |
ordinal number |
cardinal number |
axiom of choice |
induction to the ordinals
Signatura – lokacija, inventarna št. ... |
Status izvoda | Rezervacija |
---|---|---|
Skladišče-Jadranska 21 0000011052/0000000022 Skladišče-Jadranska 21 11052/22 |
prosto - za čitalnico
|
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Marinič, Andreja | 19320 |
Prijatelj, Andreja | 05954 |
Vir: Osebne bibliografije
in: SICRIS
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Naslov za dostavo:
Med podatki člana manjka naslov.
Storitev za pridobivanje naslova trenutno ni dostopna, prosimo, poskusite še enkrat.
S klikom na gumb "V redu" boste potrdili zgoraj izbrano prevzemno mesto in dokončali postopek rezervacije.
S klikom na gumb "V redu" boste potrdili zgoraj izbrano prevzemno mesto in naslov za dostavo ter dokončali postopek rezervacije.
S klikom na gumb "V redu" boste potrdili zgoraj izbrani naslov za dostavo in dokončali postopek rezervacije.
Obvestilo
Trenutno je storitev za avtomatsko prijavo in rezervacijo nedostopna. Gradivo lahko rezervirate sami na portalu Biblos ali ponovno poskusite tukaj kasneje.
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Gradivo iz matične enote je brezplačno. Če je gradivo na mesto prevzema dostavljeno iz drugih enot, lahko knjižnica to storitev zaračuna.
Mesto prevzema | Status gradiva | Rezervacija |
---|
Rezervacija v teku
Prosimo, počakajte trenutek.
Rezervacija je uspela.
Rezervacija ni uspela.
Rezervacija...
Članska izkaznica:
Mesto prevzema: