It is not the case that Lachlan and Yates showed the r.e. degrees lack a definable well-ordering, making 'highest' a structurally ambiguous predicate absent a fixed reducibility notion.
?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.