Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Gool, S. J. v."'
Publikováno v:
Annals of Pure and Applied Logic, Vol. 168, No. 10, pp. 1927-1948 (2017)
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown, following r
Externí odkaz:
http://arxiv.org/abs/1904.06091
Autor:
Gehrke, M., Gool, S. J. v.
Publikováno v:
Journal of Pure and Applied Algebra, vol. 222, no. 8, pp 2164-2180 (2018)
It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representation of the algebra. In this paper we provide a generalisation of this
Externí odkaz:
http://arxiv.org/abs/1904.05852