Elementary properties of free lattices II: Decidability of the universal theory
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912760587091968 |
|---|---|
| author | Nation, J. B. Paolini, Gianluca |
| author_facet | Nation, J. B. Paolini, Gianluca |
| contents | We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our second main result is a proof that finitely generated free lattices are positively distinguishable, as for each $n \geq 1$ there is a positive $\exists \forall$-sentence true in $\mathbf{F}_n$ and false in $\mathbf{F}_{n+1}$. Finally, we show that free lattices are first-order rigid in the class of finitely generated projective lattices, and that a projective lattice has the same existential (universal) theory of an infinite free lattice if and only if it has breadth $> 4$ (i.e., a single existential sentence is sufficient). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_09128 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Elementary properties of free lattices II: Decidability of the universal theory Nation, J. B. Paolini, Gianluca Logic 03C05, 03C64, 06B05 We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our second main result is a proof that finitely generated free lattices are positively distinguishable, as for each $n \geq 1$ there is a positive $\exists \forall$-sentence true in $\mathbf{F}_n$ and false in $\mathbf{F}_{n+1}$. Finally, we show that free lattices are first-order rigid in the class of finitely generated projective lattices, and that a projective lattice has the same existential (universal) theory of an infinite free lattice if and only if it has breadth $> 4$ (i.e., a single existential sentence is sufficient). |
| title | Elementary properties of free lattices II: Decidability of the universal theory |
| topic | Logic 03C05, 03C64, 06B05 |
| url | https://arxiv.org/abs/2504.09128 |