Geodesic
Transferral of entailment in duality theory: dualisability
Czechoslovak Mathematical Journal, Tome 61 (2011) no. 1, pp. 41-63
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

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.
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.
DOI : 10.1007/s10587-011-0016-z
Classification : 08A35, 08C15, 08C20
Keywords: natural duality; dualisability; endodualisability; entailment; retraction 
@article{10_1007_s10587_011_0016_z,
     author = {Gouveia, Maria Joao and Haviar, Miroslav},
     title = {Transferral of entailment in duality theory: dualisability},
     journal = {Czechoslovak Mathematical Journal},
     pages = {41--63},
     year = {2011},
     volume = {61},
     number = {1},
     doi = {10.1007/s10587-011-0016-z},
     mrnumber = {2782758},
     zbl = {1224.08008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1007/s10587-011-0016-z/}
}
TY  - JOUR
AU  - Gouveia, Maria Joao
AU  - Haviar, Miroslav
TI  - Transferral of entailment in duality theory: dualisability
JO  - Czechoslovak Mathematical Journal
PY  - 2011
SP  - 41
EP  - 63
VL  - 61
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1007/s10587-011-0016-z/
DO  - 10.1007/s10587-011-0016-z
LA  - en
ID  - 10_1007_s10587_011_0016_z
ER  - 
%0 Journal Article
%A Gouveia, Maria Joao
%A Haviar, Miroslav
%T Transferral of entailment in duality theory: dualisability
%J Czechoslovak Mathematical Journal
%D 2011
%P 41-63
%V 61
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1007/s10587-011-0016-z/
%R 10.1007/s10587-011-0016-z
%G en
%F 10_1007_s10587_011_0016_z
Gouveia, Maria Joao; Haviar, Miroslav. Transferral of entailment in duality theory: dualisability. Czechoslovak Mathematical Journal, Tome 61 (2011) no. 1, pp. 41-63. doi: 10.1007/s10587-011-0016-z

[1] Clark, D. M., Davey, B. A.: Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge (1998). | MR | Zbl

[2] Clark, D. M., Krauss, P. H.: Topological quasivarieties. Acta Sci. Math. (Szeged) 47 (1984), 3-39. | MR

[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). | MR

[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. | MR

[6] Davey, B. A., Haviar, M.: Transferring optimal dualities: theory and practice. J. Austral. Math. Soc. 74 (2003), 393-420. | DOI | MR | Zbl

[7] Davey, B. A., Haviar, M., Priestley, H. A.: The syntax and semantics of entailment in duality theory. J. Symbolic Logic 60 (1995), 1087-1114. | DOI | MR | Zbl

[8] Davey, B. A., Haviar, M., Willard, R.: Structural entailment. Algebra Universalis 54 (2005), 397-416. | DOI | MR | Zbl

[9] Davey, B. A., Pitkethly, J. G.: Endoprimal algebras. Algebra Universalis 38 (1997), 266-288. | DOI | MR | Zbl

[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. | MR | Zbl

[11] Davey, B. A., Willard, R.: The dualisability of a quasi-variety is independent of the generating algebra. Algebra Universalis 45 (2001), 103-106. | DOI | MR | Zbl

[12] Pitkethly, J. G., Davey, B. A.: Dualisability: Unary Algebras and Beyond. Springer (2005). | MR | Zbl

[13] Pontryagin, L. S.: Sur les groupes abéliens continus. C.R. Acad. Sci. Paris 198 (1934), 238-240.

[14] Pontryagin, L. S.: The theory of topological commutative groups. Ann. Math. 35 (1934), 361-388. | DOI | MR | Zbl

[15] Priestley, H. A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2 (1970), 186-190. | DOI | MR | Zbl

[16] Priestley, H. A.: Ordered topological spaces and the representation of distributive lattices. Proc. London Math. Soc. 24 (1972), 507-530. | MR | Zbl

[17] Saramago, M.: A study of natural dualities, including an analysis of the structure of failsets. Ph.D. thesis, University of Lisbon (1998).

[18] Saramago, M.: Some remarks on dualisability and endodualisability. Algebra Universalis 43 (2000), 197-212. | DOI | MR | Zbl

[19] Saramago, M. J., Priestley, H. A.: Optimal natural dualities: the structure of failsets. Internat. J. Algebra Comput. 12 (2002), 407-436. | DOI | MR | Zbl

[20] Stone, M. H.: The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 4 (1936), 37-111. | MR | Zbl

[21] Wegener, C. B.: Natural dualities for varieties generated by lattice-structured algebras. Ph.D. thesis, University of Oxford (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.

[23] Zádori, L.: Natural duality via a finite set of relations. Bull. Austral. Math. Soc. 51 (1995), 469-478. | DOI | MR

Cité par Sources :