Published July 20, 2026 | Version v1
Software Open

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

LICENSE.txt

Files (1.5 MiB)

NameSize
md5:6c6cb9ad9db1446542796912401d36eb
472.2 KiBDownload
md5:ab8cfb9e37379052b8881bbeaa317e9f
1.1 MiBDownload
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