Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2005.05.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2016653553
@@ Property / OpenAlex ID: W2016653553 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact asymptotic formulas for the coefficients of nonmodular functions
+Normal rank
@@ Property / cites work @@
+Q4934555
@@ Property / cites work: Q4934555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2776818
@@ Property / cites work: Q2776818 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
+Normal rank
@@ Property / cites work @@
+Dynamic ordinal analysis
@@ Property / cites work: Dynamic ordinal analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of cut-free infinitary derivations to generalized recursion theory
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893145
@@ Property / cites work: Q4893145 / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Q4526796
@@ Property / cites work: Q4526796 / rank @@
+Normal rank
@@ Property / cites work @@
+Worms, gaps, and hydras
@@ Property / cites work: Worms, gaps, and hydras / rank @@
+Normal rank
@@ Property / cites work @@
+A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
+Normal rank
@@ Property / cites work @@
+Q5786798
@@ Property / cites work: Q5786798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4345362
@@ Property / cites work: Q4345362 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Theorems on Classifications of Subsets of a Given Set
+Normal rank
@@ Property / cites work @@
+Q4055632
@@ Property / cites work: Q4055632 / rank @@
+Normal rank
@@ Property / cites work @@
+On Gaps Between Squarefree Numbers II
@@ Property / cites work: On Gaps Between Squarefree Numbers II / rank @@
+Normal rank
@@ Property / cites work @@
+A Tauberian Theorem of Exponential Type
@@ Property / cites work: A Tauberian Theorem of Exponential Type / rank @@
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+On the Contour of Random Trees
@@ Property / cites work: On the Contour of Random Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4235425
@@ Property / cites work: Q4235425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4826661
@@ Property / cites work: Q4826661 / rank @@
+Normal rank
@@ Property / cites work @@
+Two applications of analytic functors
@@ Property / cites work: Two applications of analytic functors / rank @@
+Normal rank
@@ Property / cites work @@
+The number of primes in a short interval.
@@ Property / cites work: The number of primes in a short interval. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041187
@@ Property / cites work: Q3041187 / rank @@
+Normal rank
@@ Property / cites work @@
+Une théorie combinatoire des séries formelles
@@ Property / cites work: Une théorie combinatoire des séries formelles / rank @@
+Normal rank
@@ Property / cites work @@
+On Gödel incompleteness and finite combinatorics
@@ Property / cites work: On Gödel incompleteness and finite combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of arithmetic for proving termination of computations
+Normal rank
@@ Property / cites work @@
+Q4083499
@@ Property / cites work: Q4083499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Asymptotic Properties of Partitions
@@ Property / cites work: Weak Asymptotic Properties of Partitions / rank @@
+Normal rank
@@ Property / cites work @@
+Tauberian Theory
@@ Property / cites work: Tauberian Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428903
@@ Property / cites work: Q4428903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5696111
@@ Property / cites work: Q5696111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3772200
@@ Property / cites work: Q3772200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038764
@@ Property / cites work: Q4038764 / rank @@
+Normal rank
@@ Property / cites work @@
+The number of trees
@@ Property / cites work: The number of trees / rank @@
+Normal rank
@@ Property / cites work @@
+Partition Functions Whose Logarithms are Slowly Oscillating
+Normal rank
@@ Property / cites work @@
+GROWTH OF FINITELY GENERATED POLYNILPOTENT LIE ALGEBRAS AND GROUPS, GENERALIZED PARTITIONS, AND FUNCTIONS ANALYTIC IN THE UNIT CIRCLE
+Normal rank
@@ Property / cites work @@
+Ordinals connected with formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
+Normal rank
@@ Property / cites work @@
+Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems
+Normal rank
@@ Property / cites work @@
+Q4934564
@@ Property / cites work: Q4934564 / rank @@
+Normal rank
@@ Property / cites work @@
+An ordinal analysis of stability
@@ Property / cites work: An ordinal analysis of stability / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Asymptotic results for partitions (I) and the distribution of certain integers
+Normal rank
@@ Property / cites work @@
+Bounds for the closure ordinals of replete monotonic increasing functions
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal numbers and the Hilbert basis theorem
@@ Property / cites work: Ordinal numbers and the Hilbert basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5523060
@@ Property / cites work: Q5523060 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for the closure ordinals of essentially monotonic increasing functions
+Normal rank
@@ Property / cites work @@
+Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
+Normal rank
@@ Property / cites work @@
+Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study
+Normal rank
@@ Property / cites work @@
+Q4428931
@@ Property / cites work: Q4428931 / rank @@
+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 @@
+A classification of rapidly growing Ramsey functions
+Normal rank
@@ Property / cites work @@
+Q4345363
@@ Property / cites work: Q4345363 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2566073