Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2411.17739 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916932611997696 |
|---|---|
| author | Evtushevsky, Vsevolod |
| author_facet | Evtushevsky, Vsevolod |
| contents | For a poset $(P,\leqslant)$ we consider the first-order theory, that is defined by set $P$ and relation $\leqslant$. The problem of undecidability of combinatorial theories attracts significant attention. Recently A. Wires proved the undecidability of the elementary theory of Young lattice and also established the maximal definability property of this theory. The purpose of this article is to obtain the same results for another graded lattice, which has much in common with Young lattice: Young--Fibonacci lattice. As Wires does for Young lattice, for the proof of undecidability we define Arithmetic into this theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_17739 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Undecidability of the elementary theory of Young--Fibonacci lattice Evtushevsky, Vsevolod Combinatorics Logic For a poset $(P,\leqslant)$ we consider the first-order theory, that is defined by set $P$ and relation $\leqslant$. The problem of undecidability of combinatorial theories attracts significant attention. Recently A. Wires proved the undecidability of the elementary theory of Young lattice and also established the maximal definability property of this theory. The purpose of this article is to obtain the same results for another graded lattice, which has much in common with Young lattice: Young--Fibonacci lattice. As Wires does for Young lattice, for the proof of undecidability we define Arithmetic into this theory. |
| title | Undecidability of the elementary theory of Young--Fibonacci lattice |
| topic | Combinatorics Logic |
| url | https://arxiv.org/abs/2411.17739 |