Do I have this consistency?

Explanation

This is a program that is useful for studying cardinal invariants in the set theory of real numbers.

This program tells you whether consistency of x < y for cardinal invariants x and y can be deduced or not using transitivity from known theorems of inequality and known consistency results. 

How to use?

Directly open index.html in your browser. (You don't need to create a web server.)

Third-party libraries

This repository bundles the following third-party file:

• - cytoscape-node-html-label.min.js
    - copyright: Copyright (c) 2017 Kalugin Sergey
    - license: MIT
    - from: https://github.com/kaluginserg/cytoscape-node-html-label