Published July 20, 2026 | Version v1

Cardinal Characteristics Viewer

  • 1. ROR icon TU Wien

Description

A javascript program that displays diagrams of Cardinal Characteristics.
It is meant as supplemantary material to the book CCC Forcing Constructions for the Real Line by Diego A. Mejía, Martin Goldstern, Jakob Kellner, and Saharon Shelah.

The according characteristcs (nodes), and (in)equalities for various models (arrows betweem modes) for the models of the book are given as defaulta data, but the user can enter other partial orders to be displayed. The program creates an interactive diagram with movable nodes where equality clusters can be collapsed or highlighted by background blobs.

Downlaod CCViewer_v44.html (or CCViewer_v44_full.html, same program but with dependencies included), store it locally (or on any webserver) and open it in a webbrowser. 

A live installation (possibly in an updated version) can be found at https://dmg.tuwien.ac.at/kellner/CCViewer.html

Files

CCViewer_v44.html

Files (1.5 MiB)

NameSize Download all
md5:6c6cb9ad9db1446542796912401d36eb
472.2 KiBPreview Download
md5:ab8cfb9e37379052b8881bbeaa317e9f
1.1 MiBPreview Download
md5:b5f8dc2316511ddbb58cd73245a1d53f
1.9 KiBPreview Download
md5:b94c32e253a53cee25258f5b11267420
3.0 KiBPreview Download

Additional details

Funding

FWF Austrian Science Fund
Boolean ultrapowers and other new forcing techniques doi: 10.55776/P33895