Search results
Title Multisorted dualisability: change of base Author info Brian A. Davey ... [et al.] Author Davey Brian A. (25%)
Co-authors Gouveia M. J. (25%)
Haviar Miroslav 1965- (25%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (25%)
Source document Algebra Universalis. Vol. 66, no. 4 (2011), pp. 331-336. - Cham : Springer Nature Switzerland AG, 2011 Keywords prirodzená dualita dualizovateľnosť natural duality dualisability Language English Country Switzerland systematics 512 Annotation It is proved that if a quasivariety A generated by a finite family M of finite algebras has a multisorted duality based on M, then A has a multisorted duality based on any finite family of finite algebras that generates it Public work category ADE No. of Archival Copy 21511 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika 
unrecognised
Title Natural extensions and profinite completions of algebras Author info B. A. Davey ... [et al.] Author Davey Brian A. (25%)
Co-authors Gouveia M. J. (25%)
Haviar Miroslav 1965- (25%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (25%)
Source document Algebra Universalis. Vol. 66, no. 3 (2011), pp. 205-241. - Cham : Springer Nature Switzerland AG, 2011 Keywords prirodzené rozšírenie prirodzená dualita kanonické rozšírenia profinite completion natural extension natural duality canonical extension Language English Country Switzerland systematics 51 Annotation The paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class A = ISP(M), where M is a set, not necessarily finite, of finite algebras, it is shown that each algebra in the class A embeds as a topologically dense subalgebra of its natural extension, and that this natural extension is isomorphic, topologically and algebraically, to the profinite completion of the original algebra. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that M is finite and the class A possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply Public work category ADE No. of Archival Copy 20292 Repercussion category VOSMAER, Jacob. Logic, algebra and topology : investigations into canonical extensions, duality theory and point-free topology. Amsterdam : Institute for Logic, Language and Computation, 2010. 255 s. ISBN 978-90-5776-214-7.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika unrecognised