Suslin's theorem (original) (raw)

In der Mathematik werden mehrere, eng miteinander zusammenhängende, Sätze der deskriptiven Mengenlehre als Satz von Suslin (nach Michail Jakowlewitsch Suslin) bezeichnet. * Es gibt eine analytische Menge in , die keine Borel-Menge ist. * Eine analytische Menge im ist genau dann eine Borel-Menge, wenn ihr Komplement eine analytische Menge ist. * Jede analytische Menge im ist die Orthogonalprojektion einer Borel-Menge im . * Alle analytischen Mengen können durch Anwendung der Suslin-Operation auf die Familie der abgeschlossenen Mengen konstruiert werden.