Abstract
A number of new results that say how to transfer the entailment relation between two different finite generators of a quasi-variety of algebras is presented. As their consequence, a well-known result saying that dualisability of a quasi-variety is independent of the generating algebra is derived. The transferral of endodualisability is also considered and the results are illustrated by examples.
Similar content being viewed by others
References
D.M. Clark and B.A. Davey: Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge, 1998.
D.M. Clark and P.H. Krauss: Topological quasivarieties. Acta Sci. Math. (Szeged) 47 (1984), 3–39.
B.A. Davey: Dualisability in general and endodualisability in particular, Logic and Algebra (A. Ursini and P. Aglianò, eds.). Lecture Notes in Pure and Applied Mathematics, 389, Marcel Dekker, New York, 1996, pp. 437–455.
B.A. Davey: Personal communication.
B.A. Davey and M. Haviar: A schizophrenic operation which aids the efficient transfer of strong dualitites. Houston Math. J. 26 (2000), 215–222.
B.A. Davey and M. Haviar: Transferring optimal dualities: theory and practice. J. Austral. Math. Soc. 74 (2003), 393–420.
B.A. Davey, M. Haviar and H.A. Priestley: The syntax and semantics of entailment in duality theory. J. Symbolic Logic 60 (1995), 1087–1114.
B.A. Davey, M. Haviar and R. Willard: Structural entailment. Algebra Universalis 54 (2005), 397–416.
B.A. Davey and J.G. Pitkethly: Endoprimal algebras. Algebra Universalis 38 (1997), 266–288.
B.A. Davey and H. Werner: Dualities and equivalences for varieties of algebras. Contributions to Lattice Theory (Szeged, 1980), (A. Huhn and E.T. Schmidt, eds.), Coll. Math. Soc. János Bolyai 33, North-Holland, Amsterdam, 1983, pp. 101–275.
B.A. Davey and R. Willard: The dualisability of a quasi-variety is independent of the generating algebra. Algebra Universalis 45 (2001), 103–106.
J.G. Pitkethly and B.A. Davey: Dualisability: Unary Algebras and Beyond. Springer, 2005.
L. S. Pontryagin: Sur les groupes abéliens continus. C.R. Acad. Sci. Paris 198 (1934), 238–240.
L. S. Pontryagin: The theory of topological commutative groups. Ann. Math. 35 (1934), 361–388.
H.A. Priestley: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2 (1970), 186–190.
H.A. Priestley: Ordered topological spaces and the representation of distributive lattices. Proc. London Math. Soc. 24 (1972), 507–530.
M. Saramago: A study of natural dualities, including an analysis of the structure of failsets. Ph.D. thesis, University of Lisbon, 1998.
M. Saramago: Some remarks on dualisability and endodualisability. Algebra Universalis 43 (2000), 197–212.
M. J. Saramago and H.A. Priestley: Optimal natural dualities: the structure of failsets. Internat. J. Algebra Comput. 12 (2002), 407–436.
M.H. Stone: The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 4 (1936), 37–111.
C.B. Wegener: Natural dualities for varieties generated by lattice-structured algebras. Ph.D. thesis, University of Oxford, 1999.
R. Willard: New tools for proving dualizability. In: Dualities, Interpretability and Ordered Structures (Lisbon, 1997) (J. Vaz de Carvalho and I. Ferreirim, eds.), Centro de Álgebra da Universidade de Lisboa, 1999, pp. 69–74.
L. Zádori: Natural duality via a finite set of relations. Bull. Austral. Math. Soc. 51 (1995), 469–478.
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author acknowledges support from Portuguese Project ISFL-1-143 of CAUL financed by FCT and FEDER, the second author acknowledges support from Slovak grants APVV-51-009605 and VEGA 1/0485/09.
Rights and permissions
About this article
Cite this article
Gouveia, M.J., Haviar, M. Transferral of entailment in duality theory: Dualisability. Czech Math J 61, 41–63 (2011). https://doi.org/10.1007/s10587-011-0016-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10587-011-0016-z