PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC

DOI10.1017/jsl.2021.47OpenAlexW3170966718WikidataQ113858286 ScholiaQ113858286MaRDI QIDQ5015727

Taishi Kurahashi, Makoto Fujiwara

Publication date: 9 December 2021

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

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

zbMATH Keywords

intuitionistic arithmeticprenex normal form theoremsemi-classical arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Refining the arithmetical hierarchy of classical principles, CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC, \(\Delta^0_1\) variants of the law of excluded middle and related principles

Cites Work

• 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
• INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Logic and structure