Expressive Completeness and Decidability

George F. Schumm, Stewart Shapiro. Expressive Completeness and Decidability. Notre Dame Journal of Formal Logic, 31(4):576-579, 1990.

Abstract

Abstract is missing.