Type 2 polynomial hierarchies (Q6064286): Difference between revisions

@@ Property / cites work @@
+Q4039803
@@ Property / cites work: Q4039803 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3800030
@@ Property / cites work: Q3800030 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Q4010352
@@ Property / cites work: Q4010352 / rank @@
+Normal rank
@@ Property / cites work @@
+Provably total functions of intuitionistic bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Q4850556
@@ Property / cites work: Q4850556 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity for type-2 relations
@@ Property / cites work: Complexity for type-2 relations / rank @@
+Normal rank