Výsledky vyhľadávania
Názov Factor principal congruences and Boolean products in filtral varieties Aut.údaje Brian A. Davey, Miroslav Haviar Autor Davey Brian A. (50%)
Spoluautori Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra Universalis. Vol. 85, no. 19 (2024), pp. 1-23. - Basel : Springer Nature Switzerland AG, 2024 Kľúč.slová algebra - algebra Boolean algebra kongruencie Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia Motivated by Haviar and Ploščica's 2021 characterisation of Boolean products of simple De Morgan algebras, we investigate Boolean products of simple algebras in filtral varieties. We provide two main theorems. The first yields Werner's Boolean-product representation of algebras in a discriminator variety as an immediate application. The second, which applies to algebras in which the top congruence is compact, yields a generalisation of the Haviar–Ploščcica result to semisimple varieties of Ockham algebras. The property of having factor principal congruences is fundamental to both theorems. While major parts of our general theorems can be derived from results in the literature, we offer new, self-contained and essentially elementary proofs. URL https://link.springer.com/article/10.1007/s00012-024-00846-8 Kategória publikačnej činnosti ADC Číslo archívnej kópie 54297 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 Theory of infinite sequences and series Aut.údaje Ludmila Bourchtein, Andrei Bourchtein Autor Bourchtein Ludmila
Spoluautori Bourchtein Andrei
Vyd.údaje Cham : Birkhäuser , 2022. - xiv, 377 s. : il., 24 cm ISBN 978-3-030-79430-9 Poznámka Bibliografia. Register Kľúč.slová postupnosti - sequences nekonečné súčiny - infinite products Form.deskr. učebnice - textbooks Jazyk dok. angličtina Krajina Švajčiarsko Systematika 517.52 517.523 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 
kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 386139 Univerzita Mateja Bela FP Katedra matematiky len prezenčne 
Názov Canonical extensions of lattices are more than perfect Aut.údaje Andrew P. K. Craig, Maria J. Gouveia, Miroslav Haviar Autor Craig Andrew, P. K. (34%)
Spoluautori Gouveia Maria Joao (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra Universalis. Vol. 83, no. 2 (2022), pp. [1-17]. - Basel : Springer Nature Switzerland AG, 2022 Kľúč.slová kanonické rozšírenia matematika - mathematics Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia In a paper published in 2015, we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical exten sions of lattices. Here, we firstly introduce morphisms of TiRS structures and put our correspondence between TiRS graphs and TiRS frames into a full categorical framework. We then answer Problem 2 from our 2015 paper by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs). We introduce a new subclass of perfect lattices called PTi lattices and show that the canonical extensions of lattices are PTi lattices, and so are ‘more’ than just perfect lattices. We illustrate the correspondences between classes of our newly-described PTi lattices and classes of TiRS graphs by examples. We conclude by outlining a direction for future research. URL Link na plný text Kategória publikačnej činnosti ADC Číslo archívnej kópie 51538 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 Perfect extensions of de Morgan algebras Aut.údaje Miroslav Haviar, Miroslav Ploščica Autor Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Spoluautori Ploščica Miroslav (50%)
Zdroj.dok. Algebra Universalis. Vol. 82, no. 4 (2021), art. no. 58, pp. 1-8. - Basel : Springer Nature Switzerland AG, 2021 Kľúč.slová De Morganova algebra - De Morgan algebra MS-algebra rozšírenie - extension Boolean algebra Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia An algebra A is called a perfect extension of its subalgebra B if every congruence of B has a unique extension to A. This terminology was used by Blyth and Varlet [1994]. In the case of lattices, this concept was described by Grätzer and Wehrung [1999] by saying that A is a congruence-preserving extension of B. Not many investigations of this concept have been carried out so far. The present authors in another recent study faced the question of when a de Morgan algebra M is perfect extension of its Boolean subalgebra B(M), the so-called skeleton of M. In this note a full solution to this interesting problem is given. The theory of natural dualities in the sense of Davey and Werner [1983] and Clark and Davey [1998], as well as Boolean product representations, are used as the main tools to obtain the solution. URL Link na plný text Link na zdrojový dokument Kategória publikačnej činnosti ADC Číslo archívnej kópie 50558 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 Expanding Belnap: dualities for a new class of default bilattices Aut.údaje Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar Autor Craig Andrew, P. K. (34%)
Spoluautori Davey Brian A. (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra universalis. Vol. 81, no. 4 (2020), pp. 1-26. - Basel : Springer Nature Switzerland AG, 2020 Kľúč.slová natural duality výsledky - results algebras Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled How a computer should think. Belnap argued that instead of using a logic with two values, for ‘true’ and ‘false’, a computer should use a logic with two further values, for ‘contradiction’ and ‘no information´. The resulting structure is equipped with two lattice orders, a knowledge order and a truth order, and hence is called a bilattice. Prioritised default bilattices include not only values for ‘true’, ‘false’, ‘contradiction’ and ‘no information’, but also indexed families of default values for simultaneous modelling of degrees of knowledge and truth. We focus on a new family of prioritised default bilattices: Jn, for all natural numbers n. The bilattice J0 is precisely Belnap’s seminal example. We obtain a multisorted duality for the variety generated by Jn, and separately a single sorted duality for the quasivariety generated by Jn. The main tool for both dualities is a unified approach that enables us to identify the meet-irreducible elements of the appropriate subuniverse lattices. Our results provide an interesting example where the multi-sorted duality for the variety has a simpler structure than the single-sorted duality for the quasivariety URL Link na zdrojový dokument Kategória publikačnej činnosti ADC Číslo archívnej kópie 48507 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ý
Názov A visual introduction to differential forms and calculus on manifolds Aut.údaje Jon Pierre Fortney Autor Fortney Jon Pierre
Vyd.údaje Cham, Switzerland : Birkhäuser , 2018. - xii, 468 s. : il., 29 cm ISBN 978-3-319-96991-6 Poznámka Bibliografia s. 463-464. Register Kľúč.slová diferenciálne formy - differential forms variety vonkajšia diferenciácia manifolds external differentiation Form.deskr. monografie - monographies Jazyk dok. angličtina Krajina Švajčiarsko Systematika 514.745.5 515.16 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 
kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 372596 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Positive operator semigroups Podnázov from finite to infinite dimensions Aut.údaje András Bátkai, Marjeta Kramar Fijavž, Abdelaziz Rhandi Autor Bátkai András
Spoluautori Kramar Fijavž Marjeta
Rhandi Abdelaziz
Vyd.údaje Cham, Switzerland : Birkhäuser , 2017. - xvii, 364 s., 24 cm Edícia Operator theory: advances and applications , Volume 257, 0255-0156 ISBN 978-3-319-42811-6 Poznámka Bibliografia s. 347-355. Register Kľúč.slová teória operátorov (matematika) - operator theory lineárne dynamické systémy - linear dynamical systems kladné čísla - positive numbers Form.deskr. učebnice vysokých škôl - textbooks (higher) Jazyk dok. angličtina Krajina Švajčiarsko Systematika 517.98 517.938 511.11-022.211 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 
kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 377409 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Journal of Geometry Vyd.údaje Basel : Birkhäuser Verlag , 2016 ISSN 0047-24681420-8997 Form.deskr. časopisy - journals, elektronické časopisy - electronic journals Roč., číslo Vol. 107 no. 2 (2016) Jazyk dok. angličtina Krajina Švajčiarsko URL Link na zdrojový dokument Kategória publikačnej činnosti GII 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 (1) - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika ČLÁNKY 2016: On the existence of self-complementary and non-self-complementary strongly regular graphs with Paley parameters 
časopis
Názov On the existence of self-complementary and non-self-complementary strongly regular graphs with Paley parameters Aut.údaje Mikhail Klin, Nimrod Kriger, Andrew Woldar Autor Klin Mikhail 1946- (40%) UMBFP10 - Katedra matematiky
Spoluautori Kriger Nimrod (30%)
Woldar Andrew (30%)
Zdroj.dok. Journal of Geometry. Vol. 107, no. 2 (2016), pp. 329-356. - Basel : Birkhäuser Verlag, 2016 Kľúč.slová matematika - mathematics grafy - charts - graphs Jazyk dok. angličtina Krajina Švajčiarsko Systematika 51 Anotácia © 2015, Springer International Publishing.For p an odd prime, let Ap be the complete classical affine association scheme whose associate classes correspond to parallel classes of lines in the classical affine plane AG(2, p). It is known that Ap is an amorphic association scheme. We investigate rank 3 fusion schemes of Ap whose basis graphs have the same parameters as the Paley graphs P(p2). In contrast to the Paley graphs, the great majority of graphs we detect are non-self-complementary and non-Schurian. In particular, existence of non-self-complementary graphs with Paley parameters is established for p≥ 17 , with an analogous existence result for non-Schurian such graphs when p≥ 11. We demonstrate that the number of self-complementary and non-self-complementary strongly regular graphs with Paley parameters grows rapidly as p→ ∞. Kategória publikačnej činnosti ADM Číslo archívnej kópie 36745 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ý
Názov Real analysis Aut.údaje Emmanuele DiBenedetto Autor DiBenedetto Emmanuele
Vyd.údaje New York : Birkhäuser , 2016. - xxxii, 596 s., 25 cm Vydanie 2nd ed. Edícia Birkhäuser advanced texts , Basler Lehrbücher ISBN 978-1-4939-4003-5 Poznámka Bibliografia s. 579-584. Register Kľúč.slová matematika - mathematics matematická analýza - mathematical analysis reálna analýza vysokoškolské učebnice - učebnice vysokých škôl real analysis university textbooks Jazyk dok. angličtina Krajina Spojené štáty Systematika 51 517 517.51 (075.8) Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 
kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 366696 Univerzita Mateja Bela FP Katedra matematiky len prezenčne
