Hostname: page-component-77c89778f8-vpsfw Total loading time: 0 Render date: 2024-07-21T22:50:32.506Z Has data issue: false hasContentIssue false
  • English
  • Français

Categorical universality of regular double p-algebras

Published online by Cambridge University Press:  18 May 2009

V. Koubek  and
J. Sichler
V. Koubek
Affiliation:
MFF KUMalostranské Nám. 25118 00 Praha 1Czechoslovakia
J. Sichler
Affiliation:
University of ManitobaWinnipeg, ManitobaCanada R3T 2N2
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

An algebra A = (L; ∨, ∧, *, +, 0, 1) of type (2, 2, 1, 1, 0, 0) is a doublep-algebra if (L; ∨, ∧, 0, 1) is a (0, l)-lattice in which * and + are unary operations of pseudocomplementation and dual pseudocomplementation determined by the respective requirements that x ≤ a* be equivalent to x ∧ a = 0, and that x ≥ a+ if and only if x ∨ a = 1.

Type
Research Article
Information
Glasgow Mathematical Journal , Volume 32 , Issue 3 , September 1990 , pp. 329 - 340
Copyright
Copyright © Glasgow Mathematical Journal Trust 1990

References

REFERENCES

1.Adams, M. E. and Beazer, R., The variety of double Heyting algebras is congruence uniform, preprint.Google Scholar
2.Adams, M. E. and Beazer, R., Congruence properties of distributive double p-algebras, preprint.Google Scholar
3.Adams, M. E., Koubek, V. and Sichler, J., Homomorphisms and endomorphisms in varieties of pseudocomplemented distributive lattices (with applications to Heyting algebras), Trans. Amer. Math. Soc. 285 (1984), 57–79.CrossRefGoogle Scholar
4.Hedrlín, Z. and Sichler, J, Any boundable binding category contains a proper class of mutually disjoint copies of itself, Algebra Universalis 1 (1971), 97–103.CrossRefGoogle Scholar
5.Katriňák, T., The structure of distributive double p-algebras. Regularity and congruences, Algebra Universalis 3 (1973), 238–246.CrossRefGoogle Scholar
6.Katriňák, T., Subdirectly irreducible double p-algebras, Algebra Universalis 10 (1980), 195–219.CrossRefGoogle Scholar
7.Koubek, V. and Sichler, J., Universal varieties of distributive double p-algebras, Glasgow J. Math. 26 (1985), 121–131.CrossRefGoogle Scholar
8.Priestley, H. A., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970), 186–190.CrossRefGoogle Scholar
9.Priestley, H. A., Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3) 24 (1972), 507–530.CrossRefGoogle Scholar
10.Priestley, H. A., Ordered sets and duality for distributive lattices, Ann. Discrete Math. 23 (1984), 36–90.Google Scholar
11.Pultr, A. and Trnková, V., Combinatorial, algebraic and topological representations of groups, semigroups and categories (North-Holland, 1980).Google Scholar
12.Varlet, J. C., A regular variety of type (2, 2, 1, 1, 0, 0), Algebra Universalis 2 (1972), 218–223.CrossRefGoogle Scholar