Die Wikipedia-Seite auf PSPACE erwähnt, dass die Einbeziehung nicht als streng bekannt ist (leider ohne Verweise).
F1: Was ist mit und - sind diese bekanntermaßen streng?
F2: Wenn nein, gibt es eine etablierte Klasse die und für die nicht bekannt ist, ob die Einbeziehung streng ist?
Frage 3: Werden solche Einschlüsse in der Literatur diskutiert?