Content deleted Content added
→[[WP:LEAD|Lede]]: rate B class |
Zero sharp (talk | contribs) added redirect to 'get the red out' w/ links to h.arith. heirarchy |
||
Line 27:
* I rephrased the introduction. The anlytical hierarchy is not really about second order logic; it is about higher type languages such as Z_2 or type theory in first order logic. Every use I know of is in the context of first order ZFC or first order Z_2.
* Add a reference to Rogers' book. I plan to add more references.
==Hyperarithmetical==
I've seen redlinks to 'hyperarithmetical heirachy' many places, and just recently noticed [[hyperarithmetical theory]] so I've created a redirect for now. It's possible that one or the other will need to be renamed in the future, but I figured this was a cheap way to get rid of a lot of dead links at least for now. --- all assuming that 'hyperarithmetical theory' is talking about the same thing... here's hoping!
[[User:Zero sharp|Zero sharp]] 20:46, 30 August 2007 (UTC)
| |||