P. Lipparini

Structures with Two Partial Orders and the Amalgamation Property

We show that partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser or finer partial order, or a linearization, or an auxiliary relation have the strong amalgamation property, Fraïssé limits and, in many cases, an \(\omega\)-categorical model completion with quantifier...