Transferral of entailment in duality theory: dualisability

Maria Joao Gouveia; Miroslav Haviar

Czechoslovak Mathematical Journal (2011)

  • Volume: 61, Issue: 1, page 41-63
  • ISSN: 0011-4642

Abstract

top
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.

How to cite

top

Gouveia, Maria Joao, and Haviar, Miroslav. "Transferral of entailment in duality theory: dualisability." Czechoslovak Mathematical Journal 61.1 (2011): 41-63. <http://eudml.org/doc/196370>.

@article{Gouveia2011,
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.},
author = {Gouveia, Maria Joao, Haviar, Miroslav},
journal = {Czechoslovak Mathematical Journal},
keywords = {natural duality; dualisability; endodualisability; entailment; retraction; natural duality; dualisability; endodualisability; entailment; retraction},
language = {eng},
number = {1},
pages = {41-63},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {Transferral of entailment in duality theory: dualisability},
url = {http://eudml.org/doc/196370},
volume = {61},
year = {2011},
}

TY - JOUR
AU - Gouveia, Maria Joao
AU - Haviar, Miroslav
TI - Transferral of entailment in duality theory: dualisability
JO - Czechoslovak Mathematical Journal
PY - 2011
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 61
IS - 1
SP - 41
EP - 63
AB - 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.
LA - eng
KW - natural duality; dualisability; endodualisability; entailment; retraction; natural duality; dualisability; endodualisability; entailment; retraction
UR - http://eudml.org/doc/196370
ER -

References

top
  1. Clark, D. M., Davey, B. A., Natural Dualities for the Working Algebraist, Cambridge University Press, Cambridge (1998). (1998) Zbl0910.08001MR1663208
  2. Clark, D. M., Krauss, P. H., Topological quasivarieties, Acta Sci. Math. (Szeged) 47 (1984), 3-39. (1984) MR0755560
  3. Davey, B. A., 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 437-455 (1996). (1996) MR1404951
  4. Davey, B. A., Personal communication, . 
  5. Davey, B. A., Haviar, M., A schizophrenic operation which aids the efficient transfer of strong dualitites, Houston Math. J. 26 (2000), 215-222. (2000) MR1814235
  6. Davey, B. A., Haviar, M., 10.1017/S1446788700003384, J. Austral. Math. Soc. 74 (2003), 393-420. (2003) Zbl1047.08006MR1970056DOI10.1017/S1446788700003384
  7. Davey, B. A., Haviar, M., Priestley, H. A., 10.2307/2275875, J. Symbolic Logic 60 (1995), 1087-1114. (1995) Zbl0845.08006MR1367197DOI10.2307/2275875
  8. Davey, B. A., Haviar, M., Willard, R., 10.1007/s00012-005-1944-y, Algebra Universalis 54 (2005), 397-416. (2005) Zbl1090.08009MR2218853DOI10.1007/s00012-005-1944-y
  9. Davey, B. A., Pitkethly, J. G., 10.1007/s000120050055, Algebra Universalis 38 (1997), 266-288. (1997) Zbl0934.08004MR1619762DOI10.1007/s000120050055
  10. Davey, B. A., Werner, H., 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), 101-275. (1983) Zbl0532.08003MR0724265
  11. Davey, B. A., Willard, R., 10.1007/s000120050204, Algebra Universalis 45 (2001), 103-106. (2001) Zbl1039.08006MR1809859DOI10.1007/s000120050204
  12. Pitkethly, J. G., Davey, B. A., Dualisability: Unary Algebras and Beyond, Springer (2005). (2005) Zbl1085.08001MR2161626
  13. Pontryagin, L. S., Sur les groupes abéliens continus, C.R. Acad. Sci. Paris 198 (1934), 238-240. (1934) 
  14. Pontryagin, L. S., 10.2307/1968438, Ann. Math. 35 (1934), 361-388. (1934) Zbl0009.15601MR1503168DOI10.2307/1968438
  15. Priestley, H. A., 10.1112/blms/2.2.186, Bull. London Math. Soc. 2 (1970), 186-190. (1970) Zbl0201.01802MR0265242DOI10.1112/blms/2.2.186
  16. Priestley, H. A., Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. 24 (1972), 507-530. (1972) Zbl0323.06011MR0300949
  17. Saramago, M., A study of natural dualities, including an analysis of the structure of failsets, Ph.D. thesis, University of Lisbon (1998). (1998) 
  18. Saramago, M., 10.1007/s000120050153, Algebra Universalis 43 (2000), 197-212. (2000) Zbl1011.08003MR1773938DOI10.1007/s000120050153
  19. Saramago, M. J., Priestley, H. A., 10.1142/S0218196702000791, Internat. J. Algebra Comput. 12 (2002), 407-436. (2002) Zbl1027.08006MR1910686DOI10.1142/S0218196702000791
  20. Stone, M. H., The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 4 (1936), 37-111. (1936) Zbl0014.34002MR1501865
  21. Wegener, C. B., Natural dualities for varieties generated by lattice-structured algebras, Ph.D. thesis, University of Oxford (1999). (1999) 
  22. Willard, R., 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), 69-74. (1999) 
  23. Zádori, L., 10.1017/S0004972700014301, Bull. Austral. Math. Soc. 51 (1995), 469-478. (1995) MR1331440DOI10.1017/S0004972700014301

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.