Analytická hra Lightface - Lightface analytic game

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Analytická hra Lightface“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Října 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v deskriptivní teorie množin, a lightface analytická hra je hra jehož výplatní sada A je ${ displaystyle Sigma _ {1} ^ {1}}$ podmnožina z Baireův prostor; to znamená, že existuje strom T na ${ displaystyle omega krát omega}$ což je vypočitatelný podmnožina ${ displaystyle ( omega krát omega) ^ {< omega}}$, takový, že A je projekce množiny všech větví T.

The rozhodnost všech analytických her lightface je ekvivalentní existenci 0^#.

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.