# Cichoń’s diagram, regularity properties and $${\varvec{\Delta}^1_3}$$ Δ 3 1 sets of reals

Archive for Mathematical Logic 53 (5-6):695-729 (2014)

 Authors Abstract 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. Keywords No keywords specified (fix it) Categories (categorize this paper) DOI 10.1007/s00153-014-0385-8 Options Mark as duplicate Export citation Request removal from index

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

## References found in this work BETA

Happy Families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Δ12-Sets of Reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
Cardinal Characteristics and Projective Wellorders.Vera Fischer & Sy David Friedman - 2010 - Annals of Pure and Applied Logic 161 (7):916-922.
Solovay-Type Characterizations for Forcing-Algebras.Jörg Brendle & Benedikt Löwe - 1999 - Journal of Symbolic Logic 64 (3):1307-1323.

## Citations of this work BETA

Regularity Properties on the Generalized Reals.Sy David Friedman, Yurii Khomskii & Vadim Kulikov - 2016 - Annals of Pure and Applied Logic 167 (4):408-430.
Full-Splitting Miller Trees and Infinitely Often Equal Reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.

## Similar books and articles

Matrix Iterations and Cichon’s Diagram.Diego Alejandro Mejía - 2013 - Archive for Mathematical Logic 52 (3-4):261-278.
Regularity Properties of Definable Sets of Reals.Jacques Stern - 1985 - Annals of Pure and Applied Logic 29 (3):289-324.
▵13-Sets of Reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72 - 80.
$Triangle^1_3$-Sets of Reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72-80.
More on Cichoń's Diagram and Infinite Games.Masaru Kada - 2000 - Journal of Symbolic Logic 65 (4):1713-1724.
The Cichoń Diagram.Tomek Bartoszyński, Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (2):401 - 423.
Co-Analytic Mad Families and Definable Wellorders.Vera Fischer, Sy David Friedman & Yurii Khomskii - 2013 - Archive for Mathematical Logic 52 (7-8):809-822.
Forcing Absoluteness and Regularity Properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.
Regular Reals.Guohua Wu - 2005 - Mathematical Logic Quarterly 51 (2):111-119.
Combinatorial Properties of Hechler Forcing.Jörg Brendle, Haim Judah & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (3):185-199.
Larger Cardinals in Cichoń's Diagram.Jörg Brendle - 1991 - Journal of Symbolic Logic 56 (3):795-810.
Martin's Axiom and $\delta^2_1$ Well-Ordering of the Reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):287-298.
On the Separation of Regularity Properties of the Reals.Giorgio Laguzzi - 2014 - Archive for Mathematical Logic 53 (7-8):731-747.