Assuming that an inaccessible cardinal exists, we construct a ZFC-model where every Δ 1 4 -set is measurable but there exists a Δ 1 4 -set without the property of Baire. By a result of Shelah, an inaccessible cardinal is necessary for this result.

We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the Δ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_3}$$\end{document} level of the projective hieararchy. For Δ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_2}$$\end{document} and Σ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_2}$$\end{document} sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is known that (...) assuming suitable large cardinals, the same relationships lift to higher projective levels, but the questions become more challenging without such assumptions. Consequently, all our results are proved on the basis of ZFC alone or ZFC with an inaccessible cardinal. We also prove partial results concerning Σ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_3}$$\end{document} and Δ41\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_4}$$\end{document} sets. (shrink)

If A ⊆ ω1, then there exists a cardinal preserving generic extension [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ][x ] of [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ] by a real x such that1) A ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ] and A is Δ1HC in [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ];2) x is minimal over [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ], that is, if a set Y belongs to [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ], then either x ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A, Y ] or Y (...) ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ].The forcing we use implicitly provides reshaping of the given set A. (shrink)