Diskussion:Levy-Hierarchie

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 1 Jahr von Watcher of Forms in Abschnitt Fehler in der Definition
Zur Navigation springen Zur Suche springen

Fehler in der Definition[Quelltext bearbeiten]

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