Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals (Q403412)

The authors study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing. They are interested in sets of real numbers on the \(\pmb{\Delta}^1_3\) level of the projective hierarchy. For \(\pmb{ \Delta}^1_2\) and \(\pmb {\Sigma}^1_2\) sets, the regularity properties are closely related to cardinal characteristics of the continuum and follow the pattern of the Cichoń diagram. Assuming the existence of suitable large cardinals, the relationships lift to higher projective levels. Here, the authors work in ZFC alone or in ZFC with an inaccessible cardinal. They also show results concerning the levels \(\pmb{\Sigma}^1_3\) and \(\pmb{\Delta}^1_4\).