Phase Transitions for Weakly Increasing Sequences (Q3507431): Difference between revisions

@@ Property / cites work @@
+The strength of infinitary Ramseyan principles can be accessed by their densities
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and the equivalence of definitions for well and better quasi-orders
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
+Normal rank
@@ Property / cites work @@
+Classifying the phase transition threshold for Ackermannian functions
+Normal rank
@@ Property / cites work @@
+Some independence results for Peano arithmetic
@@ Property / cites work: Some independence results for Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+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 @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Phase transition thresholds for some Friedman-style independence results
+Normal rank