FMF in IMFM, Matematična knjižnica, Ljubljana (MAKLJ)
  • Constructing ▫$\square_{\omega_1}$▫ by means of forcing with finite conditions : doctoral thesis
    Dolinar, Gregor, 08.06.1971-
    Glavni rezultat disertacije je konstrukcija ▫$\square_{\omega_1}$▫ z uporabo preddoločanja, katerega pogoji so končne množice in ki ohranja kardinalna števila. Pri tem uporabimo Todorčevićevo metodo ... števnih elementarnih modelov kot stranskih pogojev, da dokažemo, da je preddoločanje primerno, iz česar sledi, da ohranja ▫$\omega_1$▫. Poleg tega pokažemo, da je preddoločanje ▫$\omega_2$▫-primerno, kar pomeni, da ohranja tudi ▫$\omega_2$▫. Poleg tega na podoben način konstruiramo tudi netrivialno inačico ▫$\square_{\omega}$▫.
    Vrsta gradiva - disertacija ; neleposlovje za odrasle
    Založništvo in izdelava - Ljubljana : [G. Dolinar], 2013
    Jezik - angleški
    COBISS.SI-ID - 16639321

Signatura – lokacija, inventarna št. ... Status izvoda Rezervacija
Skladišče-Jadranska 21

0000010921/0000000132
Skladišče-Jadranska 21

10921/132
prosto - za čitalnico
loading ...
loading ...
loading ...