Diskussion:Levy-Hierarchie
Letzter Kommentar: vor 2 Jahren von Watcher of Forms in Abschnitt Fehler in der Definition
Fehler in der Definition
BearbeitenIn der Definition wird ausgeführt, dass die "i+1 Mengen" jeweils durch *einen* Quantor über *eine* Variable aus den "i Mengen" hervorgeht. Dies stimmt nicht mit dem englischen Artikel und auch nicht mit der angegeben Quelle überein, es müssten eigentlich beliebig viele Quantoren über beliebig viele Variablen sein. Ich bin nur sehr sicher, dass das in diesem Fall nicht äquivalent ist, da eine Kreuzrekursion zur Definition verwendet wird. --Watcher of Forms (Diskussion) 15:43, 23. Okt. 2022 (CEST)