Page 1

Displaying 1 – 1 of 1

Showing per page

Balcar's theorem on supports

Lev Bukovský (2018)

Commentationes Mathematicae Universitatis Carolinae

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 σ D M is a support, M being an inner model of ZFC, and 𝒫 ( D σ ) M = r ` ` σ with r M , then r determines a preorder " " of D such that σ becomes a filter on ( D , ) generic over M . We show that if the relation r is replaced by a function 𝒫 ( D σ ) M = f - 1 ( σ ) , then there exists an equivalence relation " " on D and a partial order on D / such that D / is a complete Boolean algebra, σ / is a generic filter and [ f ( u ) ] = - ( u / ) for any u D , u M .

Currently displaying 1 – 1 of 1

Page 1