A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

DOI10.1002/MALQ.200310074zbMath1036.03040OpenAlexW1965749885MaRDI QIDQ4458699

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

zbMATH Keywords

conservativityFriedman's A-translationIntuitionistic arithmetic

Mathematics Subject Classification ID

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

Related Items (4)

A semantic approach to conservativity ⋮ Some intuitionistic equivalents of classical principles for degree 2 formulas ⋮ Refining the arithmetical hierarchy of classical principles ⋮ Provably recursive functions of constructive and relatively constructive theories

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