Primitive recursive reverse mathematics (Q6050165): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2023.103354
@@ Property / DOI: 10.1016/j.apal.2023.103354 / rank @@
-Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q5711876
@@ Property / cites work: Q5711876 / rank @@
+Normal rank
@@ Property / cites work @@
+Abelian groups without elements of finite order
@@ Property / cites work: Abelian groups without elements of finite order / rank @@
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS
+Normal rank
@@ Property / cites work @@
+\(\mathsf{WKL}_0\) and induction principles in model theory
+Normal rank
@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+Weihrauch Complexity in Computable Analysis
@@ Property / cites work: Weihrauch Complexity in Computable Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Punctual categoricity spectra of computably categorical structures
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215631
@@ Property / cites work: Q4215631 / 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 @@
+Q5306365
@@ Property / cites work: Q5306365 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite dimensional proper subspaces of computable vector spaces
+Normal rank
@@ Property / cites work @@
+The computability, definability, and proof theory of Artinian rings
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+The jump of a Σ<sub>                             <i>n</i>                         </sub> -cut
@@ Property / cites work: The jump of a Σ<sub> <i>n</i> </sub> -cut / rank @@
+Normal rank
@@ Property / cites work @@
+Subspaces of computable vector spaces
@@ Property / cites work: Subspaces of computable vector spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5155667
@@ Property / cites work: Q5155667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 1: Recursive model theory
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5675350
@@ Property / cites work: Q5675350 / rank @@
+Normal rank
@@ Property / cites work @@
+Skolem functions and constructive models
@@ Property / cites work: Skolem functions and constructive models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958432
@@ Property / cites work: Q3958432 / rank @@
+Normal rank
@@ Property / cites work @@
+Weaker cousins of Ramsey's theorem over a weak base theory
+Normal rank
@@ Property / cites work @@
+To reorient is easier than to orient: An on-line algorithm for reorientation of graphs
+Normal rank
@@ Property / cites work @@
+An inside/outside Ramsey theorem and recursion theory
+Normal rank
@@ Property / cites work @@
+Q5224790
@@ Property / cites work: Q5224790 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and a Ramsey-type König's Lemma
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249726
@@ Property / cites work: Q4249726 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of a connected component of a graph
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Proper divisibility in computable rings
@@ Property / cites work: Proper divisibility in computable rings / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>))
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Induction, Bounding, Weak Combinatorial                     Principles, and the Homogeneous Model                     Theorem
+Normal rank
@@ Property / cites work @@
+Spectra of structures and relations
@@ Property / cites work: Spectra of structures and relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Separable Banach space theory needs strong set existence axioms
+Normal rank
@@ Property / cites work @@
+REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION
+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 @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Version of Dilworth's Theorem
@@ Property / cites work: An Effective Version of Dilworth's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On-line coloring \(k\)-colorable graphs
@@ Property / cites work: On-line coloring \(k\)-colorable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
+Normal rank
@@ Property / cites work @@
+Punctual definability on structures
@@ Property / cites work: Punctual definability on structures / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002004
@@ Property / cites work: Q4002004 / rank @@
+Normal rank
@@ Property / cites work @@
+Things that can and things that cannot be done in PRA
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+On-Line Coloring and Recursive Graph Theory
@@ Property / cites work: On-Line Coloring and Recursive Graph Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical characterizations of the natural numbers require primitive recursion
+Normal rank
@@ Property / cites work @@
+An on-line graph coloring algorithm with sublinear performance ratio
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537372
@@ Property / cites work: Q5537372 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE ABELIAN GROUPS
@@ Property / cites work: COMPUTABLE ABELIAN GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+The back-and-forth method and computability without delay
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884109
@@ Property / cites work: Q3884109 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
+Normal rank
@@ Property / cites work @@
+Recursive Colorings of Graphs
@@ Property / cites work: Recursive Colorings of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants, Boolean algebras and ACA₀⁺
@@ Property / cites work: Invariants, Boolean algebras and ACA₀⁺ / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703752
@@ Property / cites work: Q5703752 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Baire categoricity and \(\Sigma_1^0\)-induction
@@ Property / cites work: Baire categoricity and \(\Sigma_1^0\)-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Σ_{𝑛}-bounding and Δ_{𝑛}-induction
@@ Property / cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and fully ordered groups
@@ Property / cites work: Reverse mathematics and fully ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4770951
@@ Property / cites work: Q4770951 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+Primitive recursive ordered fields and some applications
+Normal rank
@@ Property / cites work @@
+Fixed point theory in weak second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and Peano categoricity
@@ Property / cites work: Reverse mathematics and Peano categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2023.103354
@@ Property / DOI: 10.1016/J.APAL.2023.103354 / rank @@
+Normal rank