# Models of Classical Cardinal Characteristics and Open Questions

by Diego A. Mejía


This deposit contains a Wolfram Mathematica notebook accompanying the book

    CCC Forcing Constructions for the Real Line

by D. A. Mejía, M. Goldstern, J. Kellner, and S. Shelah.

Contents
--------

- Models_of_Classical_Cardinal_Characteristics_and_Open_Questions.nb
  Main Mathematica notebook.

- Models_of_Classical_Cardinal_Characteristics_and_Open_Questions.pdf
  PDF export of the notebook for reading purposes.

- LICENSE
  MIT License.

Software requirements
---------------------

Wolfram Mathematica 15.0.0 or later.

No additional packages are required.

Purpose
-------

The notebook encodes known provable inequalities between classical
cardinal characteristics of the continuum and information obtained from forcing models. Algorithms implemented in the notebook use
these data to identify potential open questions concerning consistency
results of the form x < y.

Usage
-----

Open the .nb file in Mathematica and evaluate the cells as desired.
It can also be accessed in Wolfram Cloud through the link:

https://www.wolframcloud.com/obj/damejiag/Public/2charmodels.nb

The notebook is intended for exploration and research purposes and may
be used together with the corresponding book.

License
-------

This material is distributed under the MIT License.
See the LICENSE file for details.