A notion of functional completeness for first-order structure

Etienne R. Alomo Temgoua and Marcel Tonga

International Journal of Mathematics and Mathematical Sciences, 2005, vol. 2005, 1-9

Abstract:

Using ☆ -congruences and implications, Weaver (1993) 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 ☆ -congruences. We extend some results on functionally complete algebras to first-order structures A = ( A ; F A ; R 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 .

Date: 2005
References: Add references at CitEc
Citations:

Downloads: (external link)
http://downloads.hindawi.com/journals/IJMMS/2005/408315.pdf (application/pdf)
http://downloads.hindawi.com/journals/IJMMS/2005/408315.xml (text/xml)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hin:jijmms:408315

DOI: 10.1155/IJMMS.2005.2207

Access Statistics for this article

More articles in International Journal of Mathematics and Mathematical Sciences from Hindawi
Bibliographic data for series maintained by Mohamed Abdelhakeem ().