Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Tiltan and graphs with no infinite paths
(Submitted on 19 Feb 2023 (v1), last revised 13 Aug 2023 (this version, v2))
Abstract: We prove the consistency of tiltan with the positive relation $\omega^*\cdot\omega_1\rightarrow(\omega^*\cdot\omega_1,{\rm infinite\ path})^2$.
Submission history
From: Shimon Garti [view email][v1] Sun, 19 Feb 2023 06:31:34 GMT (14kb)
[v2] Sun, 13 Aug 2023 18:39:41 GMT (14kb)
Link back to: arXiv, form interface, contact.