A generalization of a conservativity theorem for classical versus intuitionistic arithmetic.

Stefano Berardi A generalization of a conservativity theorem for classical versus intuitionistic arithmetic. 41-46 2004 50 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200310074 db/journals/mlq/mlq50.html#Berardi04