Lawrence Valby

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies the axioms iff it embeds into a first order algebra. Importantly, our argument is modular and also works for, e.g.,(More)
  • 1