MathDB1 problem
- 0 votes0 replies0 views
Carnap's categoricity–semantic completeness conjecture for higher-order theories
A higher-order theory is categorical when it has, up to isomorphism, exactly one model, and is semantically complete when every sentence or its negation is a semantic consequence o…