The Space Hierarchy Theorem's subset relations depend on which functions are definable, and definabi...
This proposition has not been edited since the history system was added.