Homogenně Suslin set - Homogeneously Suslin set - Wikipedia

v deskriptivní teorie množin, sada ${ displaystyle S}$ se říká, že je homogenně Suslin pokud se jedná o projekci a homogenní strom. ${ displaystyle S}$ se říká, že je ${ displaystyle kappa}$-homogenně Suslin pokud se jedná o projekci a ${ displaystyle kappa}$-homogenní strom.

Li ${ displaystyle A subseteq {} ^ { omega} omega}$ je ${ displaystyle mathbf { Pi} _ {1} ^ {1}}$ nastavit a ${ displaystyle kappa}$ je tedy měřitelný kardinál ${ displaystyle A}$ je ${ displaystyle kappa}$-homogenně Suslin. Tento výsledek je důležitý v důkazu, že existence a měřitelný kardinál to naznačuje ${ displaystyle mathbf { Pi} _ {1} ^ {1}}$ sady jsou odhodlaný.

Viz také

• Projektivní rozhodnost

Reference

• Martin, Donald A. a John R. Steel (leden 1989). „Důkaz projektivní rozhodnosti“. Journal of the American Mathematical Society. Americká matematická společnost. 2 (1): 71–125. doi:10.2307/1990913. JSTOR  1990913.

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