Partitioning 𝛼–large sets: Some lower bounds (Q3420352): Difference between revisions

@@ Property / cites work @@
+A Model-Theoretic Approach to Ordinal Analysis
@@ Property / cites work: A Model-Theoretic Approach to Ordinal Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700239
@@ Property / cites work: Q4700239 / rank @@
+Normal rank
@@ Property / cites work @@
+Some combinatorics involving ξ-large sets
@@ Property / cites work: Some combinatorics involving ξ-large sets / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+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 @@
+A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
+Normal rank
@@ Property / cites work @@
+Ordinal complexity of recursive definitions
@@ Property / cites work: Ordinal complexity of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215632
@@ Property / cites work: Q4215632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997075
@@ Property / cites work: Q3997075 / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Some variations of the Hardy hierarchy
@@ Property / cites work: Some variations of the Hardy hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+More on lower bounds for partitioning \(\alpha\)-large sets
+Normal rank
@@ Property / cites work @@
+Inductive full satisfaction classes
@@ Property / cites work: Inductive full satisfaction classes / rank @@
+Normal rank
@@ Property / cites work @@
+More on induction in the language with a satisfaction class
+Normal rank
@@ Property / cites work @@
+Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
+Normal rank
@@ Property / cites work @@
+An Unprovable Ramsey-Type Theorem
@@ Property / cites work: An Unprovable Ramsey-Type Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial analysis of functions provably recursive in $ΙΣ_n$
+Normal rank
@@ Property / cites work @@
+Subsystems of true arithmetic and hierarchies of functions
+Normal rank
@@ Property / cites work @@
+Transfinite induction within Peano arithmetic
@@ Property / cites work: Transfinite induction within Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of rapidly growing Ramsey functions
+Normal rank
@@ Property / cites work @@
+Classifying the phase transition threshold for Ackermannian functions
+Normal rank