Talk:Von Neumann Hierarchy Comparison

From ProofWiki
Jump to navigation Jump to search


I think life (specifically, naming pages) will be easier if we have a name for the function $V$ and for the elements of its range. If there are standard terms, we should obviously use them. If not, I tentatively propose "Von Neumann Level" for the latter. --Dfeuer (talk) 20:51, 31 December 2012 (UTC)

According to Von Neumann Hierarchy is Supertransitive it appears it may be Definition:Von Neumann Hierarchy. The "explain" invocation was really a message to the original author to finish the work.
I'd reiterate what L_F said on another thread: this whole area needs to be reconstructed from the ground up. Patching it up as it currently stands is probably a waste of effort as it will only be rewritten in due course. Unless you have the Takeuti and Zaring hanging up next to your toilet, you might be better advised to pick up another work which covers the same field and build it up from there. --prime mover (talk) 21:00, 31 December 2012 (UTC)
Can you recommend a text? --Dfeuer (talk) 22:52, 31 December 2012 (UTC)
No, don't you have one? I was presuming you were up to speed in this area of mathematics and would have the appropriate library behind you. --prime mover (talk) 23:09, 31 December 2012 (UTC)