A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

DOI10.1002/MALQ.200310074zbMATH Open1036.03040OpenAlexW1965749885MaRDI QIDQ4458699FDOQ4458699

Stefano Berardi

Publication date: 15 March 2004

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310074

Recommendations

• Publication:3478407
• Some conservative extension results on classical and intuitionistic sequent calculi
• A note on the complexity of classical and intuitionistic proofs
• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
• A Note on Conservativity Relations among Bounded Arithmetic Theories
• Classical provability of uniform versions and intuitionistic provability
• CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
• An arithmetic interpretation of intuitionistic verification
• An Independence Result for Intuitionistic Bounded Arithmetic
• On a system of intuitionistic analysis equivalent to classical analysis

zbMATH Keywords

conservativityFriedman's A-translationIntuitionistic arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Cited In (11)

• Some intuitionistic equivalents of classical principles for degree 2 formulas
• Provably recursive functions of constructive and relatively constructive theories
• A semantic approach to conservativity
• Refining the arithmetical hierarchy of classical principles
• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
• Non-commutative classical arithmetical sequent calculi are intuitionistic
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints
• Interpreting classical theories in constructive ones
• Combining Classical and Intuitionistic Implications
• Title not available (Why is that?)

This page was built for publication: A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

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