On the Katowice Problem

Abstract

N;izev piace: On the Kiitinvk-t* Problem Autor: Da\d t'liodounsky Kaieilra: Kaiedra teoieticke inlbrmaliky ;i inaiemaiickd logiky Vedinici dizenaCni prate: 1'iof. RNDr. Petr Simon, DrSc. e-mail \vJouviho: petr.Miiion(«nis.mfl cunt.c/ Ahstrakt Price po|ednava tak/vaiiem Katovickem pioblcmu, ledy olazce zda jc isomniliMiius mc/i P(uf)/ Kin a T(WI )/ l-'in kiin/isleiiini s1 aiioniy 7.FC. Hlavnmi obsaheni je vy\oj no\ych michigovych technik produkazy kon/.istenci souvisejicich s Katovickym problemem. Prvtii kapilola ohsahuje pfehled /namych vy^ledku. kiere se ivkaji icto prohlematiky Diuh.i kapnola i.c uvod do filler games, melody vyvimue I:. Galvinein a C. Laflammcm. Je /dc lovne? delinovana nova tower game a di>ka/;iim, /e prvtif tirat nonia v (eto life vyliravajiVi' Mialeiiii, pnkuil prisliiMia lira LienL-iUjo non-nie,igi.'i liln Ti'nuo je /esilen i?a piedpokhuiu CH) klasieky vvsledek pro p-liliei ganii-'s. Tenio v\'slfdek |e klieovy pro diika-c propeiness Ibiviiigii v nasledujieieli kapitolaeh. ITetf kapilola oKsahuje č|C(lniKJuscn<ui pruseniiici vysledku S Shckiha o knn/islentni' i'\islenci pou/e jodinohu p-hodu. Ctvrta kajiilola pojednavaosliong-Q-posloiipiiosteeh v P(^'}/ Fin . Jejiodam pfehled vysledku J. Steprause /.telo ohlaMi a je vyhudovan *'u; hounding forcing pfidavajiVi stiong-Q-posloiipnost. To...

N;izev piace: On the Kiitinvk-t* Problem Autor: Da\d t'liodounsky Kaieilra: Kaiedra teoieticke inlbrmaliky ;i inaiemaiickd logiky Vedinici dizenaCni prate: 1'iof. RNDr. Petr Simon, DrSc. e-mail \vJouviho: petr.Miiion(«nis.mfl cunt.c/ Ahstrakt Price po|ednava tak/vaiiem Katovickem pioblcmu, ledy olazce zda jc isomniliMiius mc/i P(uf)/ Kin a T(WI )/ l-'in kiin/isleiiini s1 aiioniy 7.FC. Hlavnmi obsaheni je vy\oj no\ych michigovych technik produkazy kon/.istenci souvisejicich s Katovickym problemem. Prvtii kapilola ohsahuje pfehled /namych vy^ledku. kiere se ivkaji icto prohlematiky Diuh.i kapnola i.c uvod do filler games, melody vyvimue I:. Galvinein a C. Laflammcm. Je /dc lovne? delinovana nova tower game a di>ka/;iim, /e prvtif tirat nonia v (eto life vyliravajiVi' Mialeiiii, pnkuil prisliiMia lira LienL-iUjo non-nie,igi.'i liln Ti'nuo je /esilen i?a piedpokhuiu CH) klasieky vvsledek pro p-liliei ganii-'s. Tenio v\'slfdek |e klieovy pro diika-c propeiness Ibiviiigii v nasledujieieli kapitolaeh. ITetf kapilola oKsahuje č|C(lniKJuscn<ui pruseniiici vysledku S Shckiha o knn/islentni' i'\islenci pou/e jodinohu p-hodu. Ctvrta kajiilola pojednavaosliong-Q-posloiipiiosteeh v P(^'}/ Fin . Jejiodam pfehled vysledku J. Steprause /.telo ohlaMi a je vyhudovan *'u; hounding forcing pfidavajiVi stiong-Q-posloiipnost. To...