Four and more (Q2493901)

The authors isolate several classes of definable partial orderings. Each of them contains many forcings, directly defined from certain natural problems in abstract analysis. Many partial orders used in practice very naturally fall into one of those classes, however, there are natural partial orders which do not fall into any of them. Since every suitably definable proper forcing adding a single real is of the form \(P_I\) for a suitable \(\sigma\)-ideal \(I\) on a Polish space \(X\), where \(P_I\) denotes the partial ordering of Borel \(I\)-positive sets ordered by inclusion, the authors consider ideals instead of forcings. The following classes of ideals are considered: \(\bullet\)~ideals generated by closed sets; \(\bullet\)~porosity ideals; \(\bullet\)~\(\sigma\)-finite ideals; \(\bullet\)~null ideals associated with dense submeasures and pavement submeasures; \(\bullet\)~\(P\)-cover ideals.