${\rm C}_1$ is not algebraizable.

• 1 September 1991
• journal article
• Published by Duke University Press in Notre Dame Journal of Formal Logic
• Vol. 32  (4)
• https://doi.org/10.1305/ndjfl/1093635932

Abstract