Intuitionistic fixed point theories over Heyting arithmetic
Logic
2013-04-11 v1
Abstract
In this paper we show that an intuitionistic theory for fixed points is conservative over the Heyting arithmetic with respect to a certain class of formulas. This extends partly the result of mine. The proof is inspired by the quick cut-elimination due to G. Mints.
Keywords
Cite
@article{arxiv.1005.1991,
title = {Intuitionistic fixed point theories over Heyting arithmetic},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1005.1991},
year = {2013}
}