Sacks forcing collapses to
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .
For a partially ordered set let us denote by the system of all convex subsets of . It is found the necessary and sufficient condition (concerning ) under which (as a partially ordered set) is selfdual.
We consider join-semilattices with 1 where for every element p a mapping on the interval [p,1] is defined; these mappings are called sectional mappings and such structures are called semilattices with sectional mappings. We assign to every semilattice with sectional mappings a binary operation which enables us to classify the cases where the sectional mappings are involutions and / or antitone mappings. The paper generalizes results of [3] and [4], and there are also some connections to [1].