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