2026-08-15T12:40:56Z https://researchdata.tuwien.ac.at/oai2d

oai:researchdata.tuwien.ac.at:v67gz-t6g91 2026-07-20T13:21:41Z openaire_data

4.5 TUW.TUDATA oai:researchdata.tuwien.ac.at:v67gz-t6g91 Mejia, Diego A. Diego A. Mejia TU Wien 2026 set theory forcing models cardinal characteristics of the continuum consistency results mathematica notebook 2026-07-11 2026-07-20 10.48436/v67gz-t6g91 10.48436/9fhc4-ysv13 MIT License This notebook is complementary material to the book CCC Forcing Constructions for the Real Line by D. A. Mejía, M. Goldstern, J. Kellner, and S. Shelah. Its goal is to investigate open questions concerning the consistency with ZFC of inequalities of the form y<x, where x and y are classical cardinal characteristics of the continuum. The notebook encodes the known provable inequalities between characteristics, as a directed graph, and stores information from classical forcing models (such as Cohen, Random, Hechler, Laver, Miller, and others) as assignments of values to the vertices of this graph. A collection of algorithms processes this data to identify potential open questions and unexplored consistency patterns. The notebook was developed and tested using Wolfram Mathematica 15.0.0. An online version can be accessed from the Wolfram Cloud through the link below (this online version might be updated at some stage in the future). No additional packages are required. https://www.wolframcloud.com/obj/damejiag/Public/2charmodels.nb Intended use: the notebook serves as a research and exploration tool accompanying the book, allowing readers and researchers to experiment with the encoded data and generate potential open problems concerning cardinal characteristics of the continuum.