@misc{indiciae328bd6d9c768, title = {Ivanova contact join-semilattices are not finitely axiomatizable}, author = {Paolo Lipparini}, year = {2025}, doi = {10.1093/jigpal/jzaf008}, url = {https://arxiv.org/abs/2311.12599}, note = {Source identifier: 2311.12599} }