We prove the consistency of tiltan with the positive relation ω∗⋅ω1→(ω∗⋅ω1,infinitepath)2.
Cite
@article{arxiv.2302.09492,
title = {Tiltan and graphs with no infinite paths},
author = {Shimon Garti},
journal= {arXiv preprint arXiv:2302.09492},
year = {2024}
}