Elementary properties of free lattices III: Undecidability of the full theory
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917085436706816 |
|---|---|
| author | Nation, J. B. Paolini, Gianluca |
| author_facet | Nation, J. B. Paolini, Gianluca |
| contents | In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every cardinal $κ\geq 3$, the first-order theory of the free lattice $\mathbf{F}_κ$ is undecidable. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_13149 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Elementary properties of free lattices III: Undecidability of the full theory Nation, J. B. Paolini, Gianluca Logic 03C05, 03C64, 06B05 In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every cardinal $κ\geq 3$, the first-order theory of the free lattice $\mathbf{F}_κ$ is undecidable. |
| title | Elementary properties of free lattices III: Undecidability of the full theory |
| topic | Logic 03C05, 03C64, 06B05 |
| url | https://arxiv.org/abs/2511.13149 |