It is not the case that Hodges (1985) demonstrated that the equivalence holds for first-order logic over well-orderable domains without invoking full AC.
?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.