Zobrazeno 1 - 10
of 23
pro vyhledávání: '"M. Stronkowski"'
Publikováno v:
Advances in Mathematics, 391:107959. Academic Press Inc.
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in which pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::daf53198859ead7ea3c730ab230b19eb
https://doi.org/10.1016/j.aim.2021.107959
https://doi.org/10.1016/j.aim.2021.107959
Autor:
Michał M. Stronkowski
Publikováno v:
Archive for Mathematical Logic. 59:149-165
We prove that if an n-element algebra generates the variety $$\mathcal {V}$$ which is actively structurally complete, then the cardinality of the carrier of each subdirectly irreducible algebra in $$\mathcal {V}$$ is at most $$n^{(n+1)\cdot n^{2\cdot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff641f7ffbf37aa5c3c1b0ba6cd5bf92
https://doi.org/10.1007/s00153-019-00682-x
https://doi.org/10.1007/s00153-019-00682-x
Autor:
Michał M. Stronkowski, A. M. Nurakunov
Publikováno v:
The Journal of Symbolic Logic. 83:1566-1578
Profinite algebras are exactly those that are isomorphic to inverse limits of finite algebras. Such algebras are naturally equipped with Boolean topologies. A variety ${\cal V}$ is standard if every Boolean topological algebra with the algebraic redu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f104a3d116dfc63802f5dbeb374c394b
https://doi.org/10.1017/jsl.2017.89
https://doi.org/10.1017/jsl.2017.89
Autor:
Michał M. Stronkowski
Publikováno v:
Bulletin of the Section of Logic. 47
We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras. The work was supported by the Polish National Science Centre grant no. DEC- 2011/01/D/ST1/06136.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afdb0c8fc0206728165fd9912e708aa3
https://doi.org/10.18778/0138-0680.47.2.05
https://doi.org/10.18778/0138-0680.47.2.05
Autor:
Michał M. Stronkowski
Publikováno v:
Algebra universalis. 79
We present a scheme for providing axiomatizations of universal classes. We use infinitary sentences there. New proofs of Birkhoff’s $$\mathsf {HSP}$$ -theorem and Mal’cev’s $$\mathsf {SPP_U}$$ -theorem are derived. In total, we present 75 facts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf730cc57c8f420bbfa79dc3da79a272
https://doi.org/10.1007/s00012-018-0507-y
https://doi.org/10.1007/s00012-018-0507-y
Autor:
Małgorzata Lichocka, Marta Wnuk, Michał M. Stronkowski, Ewa Swiezewska, Julita Nowakowska, Malgorzata Gutkowska
Publikováno v:
Journal of Experimental Botany
Summary Rab proteins are post-translationally geranylgeranylated by Rab geranylgeranyl transferase (RGT) αβ. Mutations in each of the RGTB genes cause a tip growth defect whereas the double mutant is male sterile.
Rab proteins, key players in
Rab proteins, key players in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e73d88485ee47cfea60ef48345ebdf79
http://europepmc.org/articles/PMC4265159
http://europepmc.org/articles/PMC4265159
Publikováno v:
Studia Logica. 101:827-847
We provide a new proof of the following Palasinska's theorem: Every finitely generated protoalgebraic relation distributive equality free quasivariety is finitely axiomatizable. The main tool we use are $${\mathcal{Q}}$$ Q -relation formulas for a pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::971c872430516c0a8ae465f5127d8713
https://doi.org/10.1007/s11225-013-9499-y
https://doi.org/10.1007/s11225-013-9499-y
Autor:
Michał M. Stronkowski
Publikováno v:
Algebra universalis. 69:231-235
We note that a class of models is subdirect product closed if and only if it is definable by a class of L∞∞-sentences of a special form.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdf4c6f6df29b207395ec5532de834ea
https://doi.org/10.1007/s00012-013-0230-7
https://doi.org/10.1007/s00012-013-0230-7
Autor:
Michał M. Stronkowski
Publikováno v:
Semigroup Forum. 82:296-306
The graph of an algebra A is the relational structure G(A) in which the relations are the graphs of the basic operations of A. Let denote by Open image in new window the class of all graphs of algebras from a class Open image in new window. We prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66cd6ba67d784209c5bc8d52b888ce2a
https://doi.org/10.1007/s00233-010-9268-4
https://doi.org/10.1007/s00233-010-9268-4
Autor:
Michał M. Stronkowski
Publikováno v:
International Journal of Algebra and Computation. 19:1025-1047
An algebra is entropic if its basic operations are homomorphisms. The paper is focused on representations of such algebras. We prove the following theorem: An entropic algebra without constant basic operations which satisfies so called Szendrei ident
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebb6bc39c9587fffbe011899e6371c6e
https://doi.org/10.1142/s0218196709005470
https://doi.org/10.1142/s0218196709005470