ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • 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

Library/institution City Acronym For loan Other holdings
FMF and IMFM, Mathematical Library, Ljubljana Ljubljana MAKLJ reading room 1 cop.
National and University Library, Ljubljana Ljubljana NUK reading room 1 cop.
not for loan 1 cop.
loading ...
loading ...
loading ...

Shelf entry