It is not the case that Two functions can be co-extensional over all inputs while differing in their Σ^B₁-definability status under alternative but equally valid formalization choices, undermining the biconditional's necessity claim.
?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.