Intuitionistic fixed point theories over Heyting arithmetic

Details Intuitionistic fixed point theories over Heyting arithmetic Intuitionistic fixed point theories over Heyting arithmetic

2010-05-12

arxiv.org/abs/1005.1991v1

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Intuitionistic fixed point theories over Heyting arithmetic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Intuitionistic fixed point theories over Heyting arithmetic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Intuitionistic fixed point theories over Heyting arithmetic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-498930