Zobrazeno 1 - 10
of 86
pro vyhledávání: '"Jibladze, Mamuka"'
Autor:
Jibladze, Mamuka, Kuznetsov, Evgeny
An embedding of arbitrary Heyting algebra H into a reduct from the variety of Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that this reduct belongs to the variety of Heyting algebras generated by H.
Externí odkaz:
http://arxiv.org/abs/2405.13802
Autor:
Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P.
In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplicial bisimilarity. We additionally propose a corresponding weak notion o
Externí odkaz:
http://arxiv.org/abs/2404.06131
We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are topologically inc
Externí odkaz:
http://arxiv.org/abs/2104.05961
Autor:
Jibladze, Mamuka, Kac, Victor G.
We find the normal form of nilpotent elements in semisimple Lie algebras that generalizes the Jordan normal form in $\mathfrak{sl}_N$, using the theory of cyclic elements.
Externí odkaz:
http://arxiv.org/abs/2103.00261
We classify all integrable triples in simple Lie algebras, up to equivalence. The importance of this problem stems from the fact that for each such equivalence class one can construct the corresponding integrable hierarchy of bi-Hamiltonian PDE. The
Externí odkaz:
http://arxiv.org/abs/2012.12913
We prove that all classical affine W-algebras W(g,f), where g is a simple Lie algebra and f is its non-zero nilpotent element, admit an integrable hierarchy of bi-Hamiltonian PDEs, except possibly for one nilpotent conjugacy class in G_2, one in F_4,
Externí odkaz:
http://arxiv.org/abs/2007.01244
Autor:
Bezhanishvili, Guram, Bezhanishvili, Nick, Carai, Luca, Gabelaia, David, Ghilardi, Silvio, Jibladze, Mamuka
We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique and construction of universal models from modal logic. For this we dev
Externí odkaz:
http://arxiv.org/abs/2001.11060
We study the modal logic of the closure algebra $P_2$, generated by the set of all polygons in the Euclidean plane $\mathbb{R}^2$. We show that this logic is finitely axiomatizable, is complete with respect to the class of frames we call "crown" fram
Externí odkaz:
http://arxiv.org/abs/1807.02868
Autor:
Bakuradze, Malkhaz, Jibladze, Mamuka
Publikováno v:
Jun 2016 | GEORGIAN MATHEMATICAL JOURNAL 23 (2) , pp.157-167
This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the Abel cohomolo
Externí odkaz:
http://arxiv.org/abs/1310.0783
Autor:
Bakuradze, Malkhaz, Jibladze, Mamuka
B. Schuster \cite{SCH1} proved that the $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. For the four groups $G$ with the numbers 38, 39, 40 and 41 in the Hall-Senior list \cite{H}, the ring $K(2)^*(BG)$ has
Externí odkaz:
http://arxiv.org/abs/1102.3378