Talk:Ordinal analysis
From Wikipedia, the free encyclopedia
This page would be greatly improved if there were a specific citation for the ordinal of each of the listed theories (e.g. where one can find the proof that I\Sigma_1 is w^w, etc). —Preceding unsigned comment added by 130.226.132.226 (talk) 10:02, 5 April 2008 (UTC)