It is not the case that Henkin's completeness proof for FOL depends on the homogeneity of the domain, and many-sorted domains introduce partition constraints that can block canonical model construction for infinite sort hierarchies.
?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.