More on lower bounds for partitioning $\alpha$-large sets (Q2373693): 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 @@
+Partitioning 𝛼–large sets: Some lower bounds
@@ Property / cites work: Partitioning 𝛼–large sets: Some lower bounds / rank @@
+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 @@
+Some bounds for the Ramsey-Paris-Harrington numbers
+Normal rank
@@ Property / cites work @@
+Q3671967
@@ Property / cites work: Q3671967 / 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 @@
+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 @@
+Q4149746
@@ Property / cites work: Q4149746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626612
@@ Property / cites work: Q5626612 / rank @@
+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 @@
+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 @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction within Peano arithmetic
@@ Property / cites work: Transfinite induction within Peano arithmetic / rank @@
+Normal rank

More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693): Difference between revisions

Latest revision as of 12:12, 26 June 2024

Statements

Sitelinks

Mathematics(1 entry)