Semantic Completeness of Free-Variable Theories

Daniel G. Schwartz. Semantic Completeness of Free-Variable Theories. Math. Log. Q., 33(5):441-452, 1987. [doi]

Abstract

Abstract is missing.