Weihrauch and constructive reducibility between existence statements

DOI10.3233/COM-190278OpenAlexW3009810602MaRDI QIDQ4995601

Makoto Fujiwara

Publication date: 25 June 2021

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/com-190278

zbMATH Keywords

constructive mathematicsreverse mathematicsfoundations of mathematicsWeihrauch reducibilityexistence statementsfinite-type arithmetic

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Related Items

Refining the arithmetical hierarchy of classical principles ⋮ THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING ⋮ Parallelizations in Weihrauch reducibility and constructive reverse mathematics ⋮ Weihrauch Complexity in Computable Analysis

Cites Work

• Reverse mathematics and uniformity in proofs without excluded middle
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
• The binary expansion and the intermediate value theorem in constructive reverse mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Classical consequences of continuous choice principles from intuitionistic analysis
• On uniform relationships between combinatorial problems
• The Vitali Covering Theorem in the Weihrauch Lattice
• STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
• Weihrauch degrees, omniscience principles and weak computability
• Effective Choice and Boundedness Principles in Computable Analysis
• Reverse mathematics, trichotomy, and dichotomy
• Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$
• ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS
• INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
• Classical provability of uniform versions and intuitionistic provability
• A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements
• Representations of Reals in Reverse Mathematics
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item