均質サスリン集合

記述的集合論では、集合が同次木の射影である場合、その集合は同次スースリン集合であると言われます。が -同次木の射影である場合、その集合は-同次スースリン集合であると言われます。 ${\displaystyle S}$ ${\displaystyle S}$${\displaystyle \kappa}$${\displaystyle \kappa}$

が集合で が可測基数である場合、 は -同次スースリンです。この結果は、可測基数の存在は集合が決定されていることを意味するという証明において重要です。 ${\displaystyle A\subseteq {}^{\omega }\omega }$${\displaystyle \mathbf {\Pi } _{1}^{1}}$${\displaystyle \kappa}$${\displaystyle A}$${\displaystyle \kappa}$${\displaystyle \mathbf {\Pi } _{1}^{1}}$

• 射影的決定性