{"id":"arxiv/2608.12206","url":"https://arxiv.org/abs/2608.12206","tags":["cs.LO","math.LO"],"score":0,"title":"Deciding Amalgamation Beyond Arity Two: The Semantic Horn Case","domain":"cs.LO","source":"arxiv","authors":["Jakub Rydval"],"reviews":0,"subject":"cs.LO","summary":"We study the amalgamation decision problem (ADP): given a universal first-order sentence $Φ$, decide whether the class $\\mathrm{fm}(Φ)$ of its finite models has the amalgamation property. We call $Φ$ semantic Horn if $\\mathrm{fm}(Φ)$ is closed under binary direct products. By McKinsey's theorem, this is equivalent to $Φ$ being logically equivalent to a universal Horn sentence. The distinction concerns the input representation: $Φ$ itself need not be given in Horn form, and converting it into an explicit Horn normal form can incur an exponential blow-up. We prove that the ADP is decidable…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}