Classifying the phase transition threshold for Ackermannian functions (Q1012327): Difference between revisions

@@ Property / cites work @@
+Q2776818
@@ Property / cites work: Q2776818 / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Theories of computational complexity
@@ Property / cites work: Theories of computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
+Normal rank
@@ Property / cites work @@
+Q5696111
@@ Property / cites work: Q5696111 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Klassifikation der ε<sub>0</sub>‐Rekursiven Funktionen
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+An application of graphical enumeration to PA *
@@ Property / cites work: An application of graphical enumeration to PA * / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449291
@@ Property / cites work: Q4449291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664259
@@ Property / cites work: Q4664259 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of rapidly growing Ramsey functions
+Normal rank
@@ Property / cites work @@
+Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
+Normal rank
@@ Property / cites work @@
+An extremely sharp phase transition threshold for the slow growing hierarchy
+Normal rank
@@ Property / cites work @@
+Phase transition thresholds for some Friedman-style independence results
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank