It is not the case that The Henkin construction's non-emptiness assumption reflects standard model-theoretic practice; many formulations of many-sorted logic actually require non-empty sorts by default.
?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.