Tiltan and graphs with no infinite paths
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910337119289344 |
|---|---|
| author | Garti, Shimon |
| author_facet | Garti, Shimon |
| contents | We prove the consistency of tiltan with the positive relation $ω^*\cdotω_1\rightarrow(ω^*\cdotω_1,{\rm infinite\ path})^2$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2302_09492 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Tiltan and graphs with no infinite paths Garti, Shimon Logic Combinatorics 03E35, 05C63 We prove the consistency of tiltan with the positive relation $ω^*\cdotω_1\rightarrow(ω^*\cdotω_1,{\rm infinite\ path})^2$. |
| title | Tiltan and graphs with no infinite paths |
| topic | Logic Combinatorics 03E35, 05C63 |
| url | https://arxiv.org/abs/2302.09492 |