Computable Reductions and Reverse Mathematics (Q3188256): Difference between revisions

@@ Property / author @@
-D. Reed Solomon
@@ Property / author: D. Reed Solomon / rank @@
-Normal rank
@@ Property / author @@
+D. Reed Solomon
@@ Property / author: D. Reed Solomon / rank @@
+Normal rank
@@ 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.1007/978-3-319-40189-8_19
+Normal rank
@@ Property / OpenAlex ID @@
+W4255156525
@@ Property / OpenAlex ID: W4255156525 / rank @@
+Normal rank
@@ Property / cites work @@
+The uniform content of partial and linear orders
@@ Property / cites work: The uniform content of partial and linear orders / 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 @@
+On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
+Normal rank
@@ Property / cites work @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+A Δ<sub>2</sub><sup>0</sup> set with no infinite low subset in either it or its complement
+Normal rank
@@ Property / cites work @@
+STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
+Normal rank
@@ Property / cites work @@
+Ramsey’s theorem for singletons and strong computable reducibility
+Normal rank
@@ Property / cites work @@
+On notions of computability-theoretic reduction between Π21 principles
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+The weakness of being cohesive, thin or free in reverse mathematics
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3188256