\(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) (Q2011666)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)
scientific article

    Statements

    Identifiers