A notion of functional completeness for first-order structure
Summary: Using \(\star\)-congruences and implications, \textit{N. Weaver} [Algebra Univers. 30, 27--52 (1993; Zbl 0799.08002)] introduced the concepts of prevariety and quasivariety of first-order structures as generalizations of the corresponding concepts for algebras. The notion of functional completeness on algebras has been defined and characterized by Burris and Sankappanavar (1981), Kaarli and Pixley (2001), Pixley (1996), and Quackenbush (1981). We study the notion of functional completeness with respect to \(\star\)-congruences. We extend some results on functionally complete algebras to first-order structures \(\mathbf{A}=(A; F^{\mathbf{A}}; R^{\mathbf{A}})\) and find conditions for these structures to have a compatible Pixley function which is interpolated by term functions on suitable subsets of the base set \(A\).
- A notion of functional completeness for first order structures. II: Quasiprimality
- Strong congruences and Mal'cev conditions on first order structures
- First-order logic and first-order functions
- A note on generalized functional completeness in the realm of elementary logic
- On varieties generated by functionally complete algebras
This page was built for publication: A notion of functional completeness for first-order structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2576018)
