Tiltan and graphs with no infinite paths

Abstract

We prove the consistency of tiltan with the positive relation ${\omega }^{\ast }\cdot {\omega }_1\to ({\omega }^{\ast }\cdot {\omega }_1,\mathrm{infinite}\mathrm{path}{)}^2$.

References

References in corpus (1)

• Tiltan and superclub

Cited by in corpus (1)

• Superclub, splitting, separating statements