NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS (Q2925331): Difference between revisions

@@ Property / OpenAlex ID @@
+W2133902039
@@ Property / OpenAlex ID: W2133902039 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding minimal pairs
@@ Property / cites work: Bounding minimal 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 @@
+\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture
+Normal rank
@@ Property / cites work @@
+An easy priority-free proof of a theorem of Friedberg
+Normal rank
@@ Property / cites work @@
+Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
+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 @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Working below a high recursively enumerable degree
+Normal rank
@@ Property / cites work @@
+The strength of the rainbow Ramsey Theorem
@@ Property / cites work: The strength of the rainbow Ramsey Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Random reals, the rainbow Ramsey theorem, and arithmetic conservation
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and Ramsey's property for trees
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics, computability, and partitions of trees
+Normal rank
@@ Property / cites work @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Recursively enumerable generic sets
@@ Property / cites work: Recursively enumerable generic sets / 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 @@
+Friedberg Numbering in Fragments of Peano Arithmetic and <i>α</i>-Recursion Theory
+Normal rank
@@ Property / cites work @@
+On suborderings of the α-recursively enumerable α-degrees
+Normal rank