Term extraction and Ramsey's theorem for pairs (Q2915896): Difference between revisions

@@ Property / cites work @@
+Forcing in Proof Theory
@@ Property / cites work: Forcing in Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4110995
@@ Property / cites work: Q4110995 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+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 @@
+Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
+Normal rank
@@ Property / cites work @@
+\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
+Normal rank
@@ Property / cites work @@
+Q3530391
@@ Property / cites work: Q3530391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+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 @@
+Ordinal analysis of terms of finite type
@@ Property / cites work: Ordinal analysis of terms of finite type / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal analysis of simple cases of bar recursion
@@ Property / cites work: Ordinal analysis of simple cases of bar recursion / 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 @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281965
@@ Property / cites work: Q3281965 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
+Normal rank
@@ Property / cites work @@
+Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
+Normal rank
@@ Property / cites work @@
+Elimination of Skolem functions for monotone formulas in analysis
+Normal rank
@@ Property / cites work @@
+On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
+Normal rank
@@ Property / cites work @@
+On the No-Counterexample Interpretation
@@ Property / cites work: On the No-Counterexample Interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform weak König's lemma
@@ Property / cites work: On uniform weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem for pairs and provably recursive functions
+Normal rank
@@ Property / cites work @@
+The cohesive principle and the Bolzano-Weierstraß principle
+Normal rank
@@ Property / cites work @@
+Primitive recursion and the chain antichain principle
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+Recursion on the countable functionals
@@ Property / cites work: Recursion on the countable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of the Bolzano-Weierstraß Principle
+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 @@
+Reverse Mathematics: The Playground of Logic
@@ Property / cites work: Reverse Mathematics: The Playground of Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4770951
@@ Property / cites work: Q4770951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Shoenfield is Gödel after Krivine
@@ Property / cites work: Shoenfield is Gödel after Krivine / rank @@
+Normal rank
@@ Property / cites work @@
+Two Applications of Logic to Mathematics
@@ Property / cites work: Two Applications of Logic to Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Note on the fan theorem
@@ Property / cites work: Note on the fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study
+Normal rank