Prenex normal form theorems in semi-classical arithmetic

DOI10.1017/JSL.2021.47MaRDI QIDQ5015727zbMATH OpenOpenAlexWikidataFDO

Authors Makoto Fujiwara, Taishi Kurahashi

Publication date 9 December 2021

Published in 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

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

Recommendations

• scientific article; zbMATH DE number 2152681
• Refining the arithmetical hierarchy of classical principles
• A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
• scientific article; zbMATH DE number 4095435
• scientific article; zbMATH DE number 4195935

Cites work

• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Constructivism in mathematics. An introduction. Volume II
• Fluctuations, effective learnability and metastability in analysis
• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• Interrelation between weak fragments of double negation shift and related principles
• Logic and structure
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard

Cited in

(12)

• \(\Delta^0_1\) variants of the law of excluded middle and related principles
• A normal form supplement to the Oettli-Prager theorem
• scientific article; zbMATH DE number 2152681 (Why is no real title available?)
• Refining the arithmetical hierarchy of classical principles
• Prenex normalization and the hierarchical classification of formulas
• CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
• Prenex normal form theorems in semi-classical arithmetic
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• The Kleene-Post and Post's theorem in the calculus of inductive constructions
• On the hierarchy of linearity axioms
• On the ^0_1-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis
• A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets

This page was built for publication: Prenex normal form theorems in semi-classical arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015727)