CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC

DOI10.1017/jsl.2022.25arXiv2107.11356OpenAlexW3184417074WikidataQ113858279 ScholiaQ113858279MaRDI QIDQ6180604

Taishi Kurahashi, Makoto Fujiwara

Publication date: 22 December 2023

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

Full work available at URL: https://arxiv.org/abs/2107.11356

zbMATH Keywords

intuitionistic arithmeticconservation theoremssemi-classical arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fluctuations, effective learnability and metastability in analysis
• 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
• On parameter free induction schemas
• PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
• Logic and structure
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
• Refining the arithmetical hierarchy of classical principles