[Prev][Next][Index][Thread]

Strength of fixed-point induction





Has anyone every studied the strength of fixed-point induction?
What are some good examples of equations that are not provable
without some form of induction? What are some good examples of 
equations that hold in the cpo model but are not provable
using fixed-point induction? How do the various forms of
induction compare? 

Any pointers to the literature would be appreciated.

John Mitchell