Refining the arithmetical hierarchy of classical principles
From MaRDI portal
Publication:6094157
DOI10.1002/malq.202000077zbMath1521.03224arXiv2010.11527OpenAlexW3094565114MaRDI QIDQ6094157
Taishi Kurahashi, Makoto Fujiwara
Publication date: 12 September 2023
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2010.11527
First-order arithmetic and fragments (03F30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
Cites Work
- Unnamed Item
- Some principles weaker than Markov's principle
- On the disjunctive Markov principle
- Markov's principle, Church's thesis and Lindelöf's theorem
- \(\Delta^0_1\) variants of the law of excluded middle and related principles
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
- A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
- Fragments of Heyting arithmetic
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
- RAMSEY’S THEOREM FOR PAIRS ANDKCOLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC
- Weihrauch and constructive reducibility between existence statements
- PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Automata, Languages and Programming
- Logic and structure
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
