INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES

DOI10.1017/jsl.2017.63zbMath1445.03006OpenAlexW2896437745MaRDI QIDQ4692078

Ulrich Kohlenbach, Makoto Fujiwara

Publication date: 26 October 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/fd30a0f77a55faae109a4b7f6a7cd85462899ecb

zbMATH Keywords

double negation shiftintuitionistic arithmetic and analysisfragments of classical logic

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Related Items

König's lemma, weak König's lemma, and the decidable fan theorem ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Refining the arithmetical hierarchy of classical principles ⋮ Weihrauch and constructive reducibility between existence statements ⋮ \(\Delta^0_1\) variants of the law of excluded middle and related principles ⋮ PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC ⋮ Minimum classical extensions of constructive theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some principles weaker than Markov's principle
• On the disjunctive Markov principle
• Constructivism in mathematics. An introduction. Volume II
• Markov's principle, Church's thesis and Lindelöf's theorem
• 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
• Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
• Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• On a weakening of Markov's Principle
• Accessible Independence Results for Peano Arithmetic
• ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS
• A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Automata, Languages and Programming
• Formal systems for some branches of intuitionistic analysis
• On n-quantifier induction