Canonical extensions of Stone and double Stone algebras: the natural way

Miroslav Haviar; Hilary A. Priestley

Mathematica Slovaca (2006)

  • Volume: 56, Issue: 1, page 53-78
  • ISSN: 0232-0525

How to cite

top

Haviar, Miroslav, and Priestley, Hilary A.. "Canonical extensions of Stone and double Stone algebras: the natural way." Mathematica Slovaca 56.1 (2006): 53-78. <http://eudml.org/doc/31569>.

@article{Haviar2006,
author = {Haviar, Miroslav, Priestley, Hilary A.},
journal = {Mathematica Slovaca},
keywords = {canonical extension; Stone algebra; dual equivalence of categories},
language = {eng},
number = {1},
pages = {53-78},
publisher = {Mathematical Institute of the Slovak Academy of Sciences},
title = {Canonical extensions of Stone and double Stone algebras: the natural way},
url = {http://eudml.org/doc/31569},
volume = {56},
year = {2006},
}

TY - JOUR
AU - Haviar, Miroslav
AU - Priestley, Hilary A.
TI - Canonical extensions of Stone and double Stone algebras: the natural way
JO - Mathematica Slovaca
PY - 2006
PB - Mathematical Institute of the Slovak Academy of Sciences
VL - 56
IS - 1
SP - 53
EP - 78
LA - eng
KW - canonical extension; Stone algebra; dual equivalence of categories
UR - http://eudml.org/doc/31569
ER -

References

top
  1. CLARK D. M.-DAVEY B. A., Natural Dualities for the Working Algebraist, Cambridge Stud. Adv. Math. 57, Cambridge Universitу Press, Cambridge, 1998. (1998) Zbl0910.08001MR1663208
  2. COMER S. D., Perfect extensions of regular double Stone algebras, Algebra Universalis 34 (1995), 96-109. (1995) Zbl0837.06009MR1344956
  3. DAVEY B. A., Dualities for Stone algebras, double Stone algebras, and relative Stone algebras, Colloq. Math. 46 (1982), 1-14. (1982) Zbl0514.06008MR0672356
  4. DAVEY B. A.-PRIESTLEY H. A., Generalized piggyback dualities and applications to Ockham algebras, Houston J. Math. 13 (1987), 101-117. (1987) MR0904949
  5. DAVEY B. A.-PRIESTLEY H. A., Introduction to Lattices and Order, (2nd ed.), Cambridge Universitу Press, Cambridge, 2002. Zbl1002.06001MR1902334
  6. DAVEY B. A.-WERNER H., Dualities and equivalences for varieties of algebras, In: Contributions to Lattice Theorу (Szeged, 1980) (A. P. Huhn, E. T. Schmidt, eds.), Colloq. Math. Soc. János Bolуai 33, North-Holland, Amsterdam, 1983, pp. 101-275. (1980) Zbl0503.08011MR0724265
  7. GALLI A.-REYES G. E.-SAGASTUME M., Completeness theorems via the double dual functor, Studia Logica 64 (2000), 61-81. Zbl0948.03061MR1744692
  8. GEHRKE M.-HARDING J., Bounded lattice expansions, J. Algebra 238 (2001), 345-371. Zbl0988.06003MR1822196
  9. GEHRKE M.-NAGAHASHI H.-VENEMA Y., A Sahlqvist theorem for distributive modal logic, Ann. Pure Appl. Logic 131 (2005), 65-102. Zbl1077.03009MR2097223
  10. GEHRKE M.-JÓNSSON B., Bounded distributive lattice expansions, Math. Scand. 94 (2004), 13-45. Zbl1077.06008MR2032334
  11. GIERZ G., al., Continuous Lattices and Domains, Encуclopedia Math. Appl. 93, Cambridge Universitу Press, Cambridge, 2003. Zbl1088.06001MR1975381
  12. GOLDBLATT R., Varieties of complex algebras, Ann. Pure Appl. Logic 44 (1989), 174-242. (1989) Zbl0722.08005MR1020344
  13. GRAMAGLIA H.-VAGGIONE D., Birkhoff-like sheaf representations for varieties of lattice expansions, Studia Logica 56 (1996), 113-131. (1996) MR1382170
  14. JÓNSSON B.-TARSKI A., Boolean algebras with operators I; II, Amer. J. Math. 73; 74 (1951; 1952), 891-939; 127-162. (1951) MR0044502
  15. KATRIŇÁK T., Stone lattices, PhD Thesis, Comenius Universitу, Bratislava, 1965. (Slovak) (1965) 
  16. KATRIŇÁK T., The structure of distributive double p-algebras: regularity and congruences, Algebra Universalis 3 (1973), 283-290. (1973) Zbl0276.08005MR0332598
  17. KATRIŇÁK T., A new proof of the construction theorem for Stone algebras, Proc. Amer. Math. Soc. 40 (1973), 75-78. (1973) Zbl0258.06006MR0316335
  18. KATRIŇÁK T., Injective double Stone algebras, Algebra Universalis 4 (1974), 259-267. (1974) Zbl0302.06022MR0373987
  19. KATRIŇÁK T., Construction of regular double p-algebras, Bull. Soc. Roy. Sci. Liege 43 (1974), 238-246. (1974) Zbl0314.06004MR0373984
  20. PRIESTLEY H. A., Stone lattices: a topological approach, Fund. Math. 84 (1974), 127-143. (1974) Zbl0323.06012MR0340136
  21. PRIESTLEY H. A., Natural dualities for varieties of n-valued Lukasiewicz algebras, Studia Logica 54 (1995), 333-370. (1995) Zbl0826.06007MR1337007
  22. PRIESTLEY H. A., Varieties of distributive lattices with unary operations I, J. Aust. Math. Soc. Ser. A 63 (1997), 165-207. (1997) Zbl0907.06008MR1475560
  23. PRIESTLEY H. A.-SANTOS R., Dualities for varieties of distributive lattices with unary operations II, Port. Math. 55 (1998), 135-166. (1998) MR1629618
  24. THOMASON S. K., Categories of frames for modal logic, J. Symbolic Logic 40 (1975), 439-442. (1975) Zbl0317.02012MR0381940
  25. VARLET J., A regular variety of type (2, 2, 1, 1, 0), Algebra Universalis 2 (1972), 218-223. (1972) Zbl0256.06004MR0325477

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.