@misc{indiciae081ff7becdd2,
  title = {Elementary properties of free lattices III: Undecidability of the full theory},
  author = {J. B. Nation and Gianluca Paolini},
  year = {2025},
  url = {https://arxiv.org/abs/2511.13149},
  note = {Source identifier: 2511.13149}
}