The universal theory of first order algebras and various reducts
From MaRDI portal
(Redirected from Publication:895827)
Abstract: 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., the positive existential algebras (where we restrict attention to the positive existential formulas) and the quantifier-free algebras. We also explain the relationship to theories, and indicate how to add in function symbols.
Recommendations
Cites work
- scientific article; zbMATH DE number 3368622 (Why is no real title available?)
- A simple, purely algebraic proof of the completeness of some first order logics
- Algebraization of quantifier logics, an introductory overview
- Cylindric algebras. Part II
- First-order logical duality
- Kohärente Systeme von BOOLEschen Algebren
- Krasner algebras
- Logic in algebraic form. Three languages and theories
- Some applications of the notions of forcing and generic sets
- The Theory of Representation for Boolean Algebras
Cited in
(5)
This page was built for publication: The universal theory of first order algebras and various reducts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895827)
