DIKUL - logo
FMF, Mathematical Library, Lj. (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}$▫.
    Type of material - dissertation ; adult, serious
    Publication and manufacture - Ljubljana : [G. Dolinar], 2013
    Language - english
    COBISS.SI-ID - 16639321

Call number – location, accession no. ... Copy status Reservation
Skladišče-Jadranska 21

0000010921/0000000132
Skladišče-Jadranska 21

10921/132
available - reading room
loading ...
loading ...
loading ...