On Bounded Type-Definable Equivalence Relations

Krzysztof Krupinski, Ludomir Newelski. On Bounded Type-Definable Equivalence Relations. Notre Dame Journal of Formal Logic, 43(4):231-242, 2002.

Abstract

Abstract is missing.