Multifunction algebras and the provability of $PH\downarrow$ (Q1577486): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Relative to a Random Oracle<i>A</i>, ${\bf P}^A \ne {\bf NP}^A \ne \text{co-}{\bf NP}^A $ with Probability 1
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282609
@@ Property / cites work: Q4282609 / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
+Normal rank
@@ Property / cites work @@
+The Polynomial Time Hierarchy Collapses If the Boolean Hierarchy Collapses
+Normal rank
@@ Property / cites work @@
+An arithmetical characterization of NP
@@ Property / cites work: An arithmetical characterization of NP / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability of the pigeonhole principle and the existence of infinitely many primes
+Normal rank
@@ Property / cites work @@
+Structure and definability in general bounded arithmetic theories
+Normal rank
@@ Property / cites work @@
+Q4281694
@@ Property / cites work: Q4281694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850554
@@ Property / cites work: Q4850554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3487339
@@ Property / cites work: Q3487339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140644
@@ Property / cites work: Q3140644 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1577486

Multifunction algebras and the provability of \(PH\downarrow\) (Q1577486): Difference between revisions

Latest revision as of 13:42, 30 May 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)