Universal Horn Sentences and the Joint Embedding Property
Logic in Computer Science
2024-02-14 v6 Logic
Abstract
The finite models of a universal sentence in a finite relational signature are the age of a structure if and only if has the joint embedding property. We prove that the computational problem whether a given universal sentence has the joint embedding property is undecidable, even if is additionally Horn and the signature of only contains relation symbols of arity at most two.
Cite
@article{arxiv.2104.11123,
title = {Universal Horn Sentences and the Joint Embedding Property},
author = {Manuel Bodirsky and Jakub Rydval and André Schrottenloher},
journal= {arXiv preprint arXiv:2104.11123},
year = {2024}
}
Comments
16 pages