It is not the case that Reducibility follows logically from the ramified hierarchy itself if one accepts that only predicative functions are genuinely definable.
?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.