On the logical strengths of partial solutions to mathematical problems (Q4642696): Difference between revisions

@@ Property / Wikidata QID @@
+Q59886240
@@ Property / Wikidata QID: Q59886240 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1461336424
@@ Property / OpenAlex ID: W1461336424 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5874
@@ Property / arXiv ID: 1411.5874 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
+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 @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of the finite intersection principle
+Normal rank
@@ Property / cites work @@
+Some Ramsey-type theorems
@@ Property / cites work: Some Ramsey-type theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and a Ramsey-type König's Lemma
+Normal rank
@@ Property / cites work @@
+A packed Ramsey’s theorem and computability theory
+Normal rank
@@ Property / cites work @@
+Separating principles below
@@ Property / cites work: Separating principles below / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Lowness for Kurtz randomness
@@ Property / cites work: Lowness for Kurtz randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478406
@@ Property / cites work: Q3478406 / rank @@
+Normal rank
@@ Property / cites work @@
+Π<sub>1</sub><sup>0</sup> classes and Boolean combinations of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Infinite subsets of random sets of integers
@@ Property / cites work: Infinite subsets of random sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758821
@@ Property / cites work: Q3758821 / rank @@
+Normal rank
@@ Property / cites work @@
+SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
+Normal rank
@@ Property / cites work @@
+RT<sub>2</sub><sup>2</sup> does not imply WKL<sub>0</sub>
+Normal rank
@@ Property / cites work @@
+Cone avoiding closed sets
@@ Property / cites work: Cone avoiding closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+Partition Theorems and Computability Theory
@@ Property / cites work: Partition Theorems and Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative Forcing and Hyperimmunity in Reverse Mathematics
+Normal rank
@@ Property / cites work @@
+Ramsey-type graph coloring and diagonal non-computability
+Normal rank
@@ Property / cites work @@
+THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+The weakness of being cohesive, thin or free in reverse mathematics
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem
@@ Property / cites work: On the strength of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Some logically weak Ramseyan theorems
@@ Property / cites work: Some logically weak Ramseyan theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4642696