It is not the case that The Space Hierarchy Theorem's subset relations depend on which functions are definable, and definability varies across models, making proper containment model-dependent.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.