Cardinal Characteristics Viewer
Creators
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