Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$
From MaRDI portal
Publication:3195695
DOI10.1007/978-3-319-20028-6_19zbMath1461.03009OpenAlexW1142364075MaRDI QIDQ3195695
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
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
