Dominating the Erdős-Moser theorem in reverse mathematics (Q2400499): Difference between revisions

@@ Property / cites work @@
+The strength of infinitary Ramseyan principles can be accessed by their densities
+Normal rank
@@ Property / cites work @@
+Any FIP real computes a 1-generic
@@ Property / cites work: Any FIP real computes a 1-generic / 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 @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Classifying model-theoretic properties
@@ Property / cites work: Classifying model-theoretic properties / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal degrees and the jump operator
@@ Property / cites work: Minimal degrees and the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+The finite intersection principle and genericity
@@ Property / cites work: The finite intersection principle and genericity / rank @@
+Normal rank
@@ Property / cites work @@
+STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
+Normal rank
@@ Property / cites work @@
+On the strength of the finite intersection principle
+Normal rank
@@ Property / cites work @@
+Independence Results on the Global Structure of the Turing Degrees
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of computability-theoretic reduction between Π21 principles
+Normal rank
@@ Property / cites work @@
+The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
+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 @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Primitive recursion and the chain antichain principle
+Normal rank
@@ Property / cites work @@
+SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees bounding principles and universal instances in reverse mathematics
+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 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 @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperarithmetically Encodable Sets
@@ Property / cites work: Hyperarithmetically Encodable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES
+Normal rank
@@ Property / cites work @@
+Lowness for genericity
@@ Property / cites work: Lowness for genericity / rank @@
+Normal rank