Four and more

From MaRDI portal





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.



Cites work









This page was built for publication: Four and more

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2493901)