Homogeniczny zbiór Suslina

W opisowej teorii mnogości $,$ się, że zbiór jest jednorodny Suslin jeśli jest rzutem jednorodnego drzewa . $rzut$ się, że jest $-jednorodnie$ to $Suslin,$ -jednorodnego drzewa.

Jeśli jest zestawem i $} ^ {\ omega}$$\$$}$$\ kappa} jest$$jest$ kardynałem, to $Suslin$ . Wynik ten jest ważny w dowodzie, że istnienie mierzalnego kardynała implikuje, że ${\ Displaystyle \ mathbf {\ Pi} _ {1} ^ {1}}$ zestawy są ustalone .

Zobacz też

• Projekcyjna determinacja

•   Martin, Donald A. i John R. Steel (styczeń 1989). „Dowód projekcyjnej determinacji” . Dziennik Amerykańskiego Towarzystwa Matematycznego . Amerykańskie Towarzystwo Matematyczne. 2 (1): 71–125. doi : 10.2307/1990913 . JSTOR 1990913 .