Hostname: page-component-cd9895bd7-7cvxr Total loading time: 0 Render date: 2024-12-26T08:01:11.839Z Has data issue: false hasContentIssue false
  • English
  • Français

COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS

Published online by Cambridge University Press:  05 February 2018

VERA FISCHER ,
SY D. FRIEDMAN ,
DIEGO A. MEJÍA  and
DIANA C. MONTOYA
VERA FISCHER
Affiliation:
KURT GÖDEL RESEARCH CENTER UNIVERSITY OF VIENNA WÄHRINGER STRASSE 25 1090 VIENNA, AUSTRIA E-mail:[email protected]: http://www.logic.univie.ac.at/∼vfischer/
SY D. FRIEDMAN
Affiliation:
KURT GÖDEL RESEARCH CENTER UNIVERSITY OF VIENNA WÄHRINGER STRASSE 25 1090 VIENNA, AUSTRIA E-mail:[email protected]: http://www.logic.univie.ac.at/∼sdf/
DIEGO A. MEJÍA
Affiliation:
CREATIVE SCIENCE COURSE (MATHEMATICS) FACULTY OF SCIENCE, SHIZUOKA UNIVERSITY, OHYA 836, SURUGA-KU SHIZUOKA-SHI, 422-8529, JAPAN E-mail:[email protected]: http://www.researchgate.com/profile/diego_mejia2
DIANA C. MONTOYA
Affiliation:
KURT GÖDEL RESEARCH CENTER UNIVERSITY OF VIENNA WÄHRINGER STRASSE 25 1090 VIENNA, AUSTRIA E-mail:[email protected]: http://www.logic.univie.ac.at/∼montoyd8/
Get access Rights & Permissions [Opens in a new window]

Abstract

We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń’s diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 values is consistent with the existence of a ${\rm{\Delta }}_3^1$ well-order of the reals.

Keywords

03E1703E1503E3503E4003E45Cichoń’s diagramfinite support iterations3D-coherent systems2D-coherent systemsΔ31 well-orders
Type
Articles
Information
The Journal of Symbolic Logic , Volume 83 , Issue 1 , March 2018 , pp. 208 - 236
Copyright
Copyright © The Association for Symbolic Logic 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Bartoszyński, T. and Judah, H., Set Theory: On the Structure of the Real Line. Peters, A K, Wellesley, Massachusetts, 1995.CrossRefGoogle Scholar
Blass, A. and Shelah, S., Ultrafilters with small generating sets. Israel Journal of Mathematics, vol. 65 (1989), no. 3, pp. 259–271.CrossRefGoogle Scholar
Brendle, J., Larger cardinals in Cichoń’s diagram, this Journal, vol. 56 (1991), no. 3, pp. 795–810.Google Scholar
Brendle, J. and Fischer, V., Mad families, splitting families and large continuum, this Journal, vol. 76 (2011), no. 1, pp. 198–208.Google Scholar
Dow, A. and Shelah, S., On the cofinality of the splitting number, preprint.Google Scholar
Fischer, A., Goldstern, M., Kellner, J., and Shelah, S., Creature forcing and five cardinal characteristics of the continuum. Archive for Mathematical Logic, accepted.Google Scholar
Fischer, V. and Friedman, S. D., Cardinal characteristics and projective wellorders. Annals of Pure and Applied Logic, vol. 161 (2010), no. 7, pp. 916–922.CrossRefGoogle Scholar
Fischer, V., Friedman, S. D., and Khomskii, Y., Measure, category and projective wellorders. Journal of Logic and Analysis, vol. 6 (2014), no. 8, pp. 1–25.Google Scholar
Fischer, V., Friedman, S. D., and Törnquist, A., Projective maximal families of orthogonal measures with large continuum. Journal of Logic and Analysis, vol. 4 (2012), paper 9, 15.Google Scholar
Fischer, V., Friedman, S. D., and Zdomskyy, L., Projective wellorders and mad families with large continuum. Annals of Pure and Applied Logic, vol. 162 (2011), no. 11, pp. 853–862.Google Scholar
Fischer, V., Friedman, S. D., and Zdomskyy, L., Cardinal characteristics, projective wellorders and large continuum. Annals of Pure and Applied Logic, vol. 164 (2013), no. 7–8, pp. 763–770.CrossRefGoogle Scholar
Fischer, V. and Alejandro Mejía, D., Splitting, bounding, and almost disjoitness can be quite different. Canadian Journal of Mathematics, article in press, doi: 10.4153/CJM-2016-021-8.Google Scholar
Goldstern, M., Mejía, D. A., and Shelah, S, The left side of Cichoń’s diagram. Proceedings of the American Mathematical Society, vol. 144 (2016), no. 9, pp. 4025–4042.Google Scholar
Hechler, S. H., Short complete nested sequences in βN \ N and small maximal almost-disjoint families. General Topology and its Applications, vol. 2 (1972), pp. 139–149.CrossRefGoogle Scholar
Judah, H. and Shelah, S., The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing), this Journal, vol. 55 (1990), no. 3, pp. 909–927.Google Scholar
Kamburelis, A., Iterations of Boolean algebras with measure. Archive for Mathematical Logic, vol. 29 (1989), no. 1, pp. 21–28.CrossRefGoogle Scholar
Kunen, K., Set Theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980.Google Scholar
Mejía, D. A., Matrix iterations and Cichon’s diagram. Archive for Mathematical Logic, vol. 52 (2013), no. 3–4, pp. 261–278.CrossRefGoogle Scholar
Mejía, D. A., Models of some cardinal invariants with large continuum. Kyōto Daigaku Sūrikaiseki Kenkyūsho Kōkyūroku, vol. 1851 (2013), pp. 36–48.Google Scholar
Mejía, D. A., Template iterations with non-definable ccc forcing notions. Annals of Pure and Applied Logic, vol. 166 (2015), no. 11, pp. 1071–1109.CrossRefGoogle Scholar
Miller, A. W., Some properties of measure and category. Transactions of the American Mathematical Society, vol. 266 (1981), no. 1, pp. 93–114.Google Scholar
Raghavan, D. and Saharon, S., Boolean ultrapowers and iterated forcing, preprint.Google Scholar
Shelah, S., Two cardinal invariants of the continuum $left( {\mathfrak{d} < \mathfrak{a}} \right)$ and FS linearly ordered iterated forcing. Acta Mathematica, vol. 192 (2004), no. 2, pp. 187–223.Google Scholar
Steprāns, J., Combinatorial consequences of adding Cohen reals, Set Theory of the Reals (Ramat Gan, 1991) (Judah, H., editor), Israel Mathematical Conference Proceedings, vol. 6, Bar-Ilan University, Ramat Gan, 1993, pp. 583–617.Google Scholar
Zhang, Y., On a class of m.a.d. families, this Journal, vol. 64 (1999), no. 2, pp. 737–746.Google Scholar