Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$

DOI10.1007/978-3-319-20028-6_19zbMath1461.03009OpenAlexW1142364075MaRDI QIDQ3195695

Makoto Fujiwara

Publication date: 20 October 2015

Published in: Evolving Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20028-6_19

zbMATH Keywords

constructive mathematicsreverse mathematicscomputable analysisMedvedev reducibility

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Other degrees and reducibilities in computability and recursion theory (03D30) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

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, Weihrauch and constructive reducibility between existence statements, THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING, An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis

Cites Work

• Reverse mathematics and uniformity in proofs without excluded middle
• Constructivism in mathematics. An introduction. Volume II
• 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
• 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}$$
• An Effective Version of Hall's Theorem
• On the strength of marriage theorems and uniformity
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item