Universal Horn Sentences and the Joint Embedding Property
The finite models of a universal sentence $\Phi$ in a finite relational signature are the age of a structure if and only if $\Phi$ has the joint embedding property. We prove that the computational problem whether a given universal sentence $\Phi$ has the joint embedding property is undecidable, even...
| Príomhchruthaitheoirí: | , , |
|---|---|
| Formáid: | Alt |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Discrete Mathematics & Theoretical Computer Science
2022-05-01
|
| Sraith: | Discrete Mathematics & Theoretical Computer Science |
| Ábhair: | |
| Rochtain ar líne: | https://dmtcs.episciences.org/7435/pdf |