Universal Horn Sentences and the Joint Embedding Property

DOI10.46298/DMTCS.7435MaRDI QIDQ5038201zbMATH OpenOpenAlexFDO

Authors Manuel Bodirsky, Jakub Rydval, André Schrottenloher

Publication date 30 September 2022

Published in Discrete Mathematics & Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2104.11123, https://dmtcs.episciences.org/9423

zbMATH Keywords

universalHornjoint embedding property

Mathematics Subject Classification ID

Model theory (03Cxx)

Recommendations

• Decision problems concerning properties of finite sets of equations
• Model complete universal Horn classes
• Forbidden subgraphs and forbidden substructures
• An undecidable problem in finite combinatorics
• On decidability of the decomposability problem for finite theories

Cites work

• scientific article; zbMATH DE number 4130358 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• A proof of the CSP dichotomy conjecture
• ASNP: a tame fragment of existential second-order logic
• An algebraic view on p-admissible concrete domains for lightweight description logics
• Complexity of infinite-domain constraint satisfaction
• Foundations of inductive logic programming
• Some useful preservation theorems

Cited in

(6)

• scientific article; zbMATH DE number 4033809 (Why is no real title available?)
• scientific article; zbMATH DE number 4152349 (Why is no real title available?)
• scientific article; zbMATH DE number 3968568 (Why is no real title available?)
• Deciding atomicity of subword-closed languages
• On the spectra of universal relational sentences
• Smooth approximations and CSPs over finitely bounded homogeneous structures

This page was built for publication: Universal Horn Sentences and the Joint Embedding Property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5038201)