On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224): 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.1002/malq.201200047
+Normal rank
@@ Property / OpenAlex ID @@
+W2097268843
@@ Property / OpenAlex ID: W2097268843 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of infinitary Ramseyan principles can be accessed by their densities
+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 @@
+\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5484945
@@ Property / cites work: Q5484945 / 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 @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and Peano categoricity
@@ Property / cites work: Reverse mathematics and Peano categoricity / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4915224