Strength of fixed-point induction

• To: types@dcs.gla.ac.uk
• Subject: Strength of fixed-point induction
• From: John "C." Mitchell <jcm@cs.stanford.edu>
• Date: Wed, 22 Sep 93 13:33:07 -0700
• Approved: types@dcs.gla.ac.uk

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

• Prev: Errata to "What's so special about Kruskal's theorem ..."
• Next: New paper available by ftp
• Index(es):
  • Main
  • Thread