The universal theory of first order algebras and various reducts

DOI10.1007/S11787-015-0129-5zbMATH Open1380.03077arXiv1403.1805OpenAlexW1790931148MaRDI QIDQ895827FDOQ895827

Authors: Lawrence Valby 

Publication date: 7 December 2015

Published in: Logica Universalis (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1403.1805

Recommendations

• First-order theories as many-sorted algebras
• scientific article; zbMATH DE number 5005365
• scientific article; zbMATH DE number 5520316
• scientific article; zbMATH DE number 35403
• Axiomatizability of reducts of algebras of relations

zbMATH Keywords

algebraic logicuniversal theoryalgebra of relationsmulti-sorted algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Cites Work

• Cylindric algebras. Part II
• The Theory of Representation for Boolean Algebras
• Some applications of the notions of forcing and generic sets
• Algebraization of quantifier logics, an introductory overview
• Logic in algebraic form. Three languages and theories
• Title not available (Why is that?)
• Krasner algebras
• A simple, purely algebraic proof of the completeness of some first order logics
• First-order logical duality
• Kohärente Systeme von BOOLEschen Algebren

Cited In (5)

• First-order theories as many-sorted algebras
• Vertex maps between \(\triangle \), \(\square\), and \(\diamond\)
• Hom-polytopes
• Abstract valuation semantics
• Affine-compact functors

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)