It is not the case that Henkin construction requires witnesses for existential formulas; empty sorts provide no witnesses, making quantifier satisfaction undefined.
?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.