Omitting Types for Stable CCC Theories

Ludomir Newelski. Omitting Types for Stable CCC Theories. Journal of Symbolic Logic, 55(3):1037-1047, 1990.

Abstract

Abstract is missing.