Balcar's theorem on supports
In A theorem on supports in the theory of semisets [Comment. Math. Univ. Carolinae 14 (1973), no. 1, 1–6] B. Balcar showed that if is a support, being an inner model of ZFC, and with , then determines a preorder "" of such that becomes a filter on generic over . We show that if the relation is replaced by a function , then there exists an equivalence relation "" on and a partial order on such that is a complete Boolean algebra, is a generic filter and for any , .