Diskussion:Levy-Hierarchie

Fehler in der Definition

Letzter Kommentar: vor 1 Jahr1 Kommentar1 Person ist an der Diskussion beteiligt

In 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)Beantworten

Abschnitt hinzufügen