Výsledky vyhľadávania
Názov Reconciliation of approaches to the construction of canonical extensions of bounded lattices Súbež.n. Zladenie prístupov ku konštrukcii kanonického rozšírenia ohraničeného zväzu Aut.údaje Andrew Craig, Miroslav Haviar Autor Craig Andrew, P. K. (50%)
Spoluautori Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Mathematica Slovaca. Vol. 64, no. 3 (2014), pp. 1335-1356. - Bratislava : Slovenská akadémia vied, Matematický ústav SAV, 2014 Kľúč.slová kanonické rozšírenia topologická reprezentácia Galoisova väzba canonical extension natural duality Galois connection Jazyk dok. angličtina Krajina Slovenská republika Systematika 51 Kategória publikačnej činnosti ADN Číslo archívnej kópie 31648 Kategória ohlasu DÜNTSCH, Ivo - KWUIDA, Léonard - OROWSKA, Ewa. A discrete representation for dicomplemented lattices. In Fundamenta informaticae. ISSN 0169-2968, 2017, vol. 156, no. 3-4, pp. 281-295.
Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika 
článok
Názov A fresh perspective on canonical extensions for bounded lattices Súbež.n. Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov Aut.údaje A. P. K. Craig, M. Haviar, H. A. Priestley Autor Craig Andrew, P. K. (34%)
Spoluautori Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Zdroj.dok. Applied Categorical Structures. Vol. 21, no. 6 (2013), pp. 725-749. - Dordrecht : Springer, 2013 Kľúč.slová kanonické rozšírenia prirodzená dualita topologická reprezentácia canonical extension natural duality topological representation Jazyk dok. angličtina Krajina Holandsko Systematika 544.022 Anotácia Kanonické rozšírenia algebier majú pôvod v klasických prácach B. Jónssona a A. Tarského (1951-52) o Booleových algebrách s operátormi. Z pohľadu logiky je význam kanonických rozšírení v tom, že pre mnohé logiky hrajú fundamentálnu úlohu vo vetách o úplnosti – kanonicita (znamenajúca, že algebraické identity sú zachované pri konštrukcii kanonických rozšírení) algebraických modelov logík korešponduje s úplnosťou logík. Prezentovaná je nová konštrukcia kanonických rozšírení ohraničených zväzov, ktorá je v duchu teórie prirodzených dualít. Na úrovni objektov je kanonické rozšírenie zväzu získané podobne ako v distributívnom prípade, kde sa používa Priestleyovej reprezentácia (1970). V nedistributívnom prípade je využitá topologická reprezentácia zväzov od Miroslava Ploščicu (1995), ktorá je prezentáciou klasickej Urquhartovej reprezentácie zväzov (1978) v duchu prirodzených dualít. Na úrovni morfizmov je využitá dualita Allweina a Hartonasa (1993) Kategória publikačnej činnosti ADM Číslo archívnej kópie 27747 Kategória ohlasu HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics : a general framework. In Journal of philosophical logic. ISSN 0022-3611, 2018, vol. 47, no. 1, pp. 67-94.
HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics. In Logic journal of the IGPL. ISSN 1367-0751, 2017, vol. 25, no. 2, pp. 145-182.
Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika 
nerozpoznaný
Title Natural dualities in partnership Author info Brian A. Davey, Miroslav Haviar, Hilary A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 20, no. 6 (2012), pp. 583-602. - Dordrecht : Springer, 2012 Keywords prirodzená dualita prirodzené rozšírenie kanonické rozšírenia natural duality natural extension canonical extension Language English Country Netherlands systematics 512 Public work category ADE No. of Archival Copy 23307 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika článok
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 nerozpoznaný
Title Boolean topological distributive lattices and canonical extensions Author info B. A. Davey, Miroslav Haviar, H. A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBUV01 - Ústav vedy a výskumu
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 15, no. 3 (2007), pp. 225-241. - Dordrecht : Springer, 2007 Keywords topologický zväz Priestleyovská dualita kanonické rozšírenia prokonečné rozšírenie topological lattice Priestley duality canonical extension profinite completion Language English Country Netherlands systematics 515.1 Public work category ADE No. of Archival Copy 6651 Repercussion category JOHANSEN, Sarah M. Natural dualities for three classes of relational structures. In Algebra Universalis. ISSN 0002-5240, 2010, vol. 63, no. 2-3, pp. 149-170.
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.
RICE, Brian. Intervals of the Muchnik lattice. In Fundamenta mathematicae. ISSN 0016-2736, 2018, vol. 241, no. 2, pp. 109-126.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika článok