Gregor Dolinar: Konstrukcija ⎕ω₁, 1. del

Tokrat nam bo Gregor Dolinar predstavil rezultate, ki jih bo obsegala njegova doktorska disertacija.

Povzetek: Kvadratni princip ⎕_ω₁ je kombinatorični princip, ki je precej uporaben pri različnih konstrukcijah v neskončni kombinatoriki. Njegova eksistenca je neodvisna od teorije množic ZFC. To lahko pokažemo na več načinov. Na seminarju bomo spoznali konstrukcijo s pomočjo posebne vrste preddoločanja - preddoločanje s končnimi pogoji. V prvem delu si bomo v bistvu pogledali, kako iz končnih množic sestaviti objekt na ω₂. Vedeti je treba namreč, da je kvadratni princip objekt na ω₂, čeprav nosi oznako ω₁.

Vabljeni!