Zobrazeno 1 - 10
of 176
pro vyhledávání: '"54h10"'
Autor:
Gutik, Oleg
Let $\mathscr{C}_{+}(p,q)^0$ and $\mathscr{C}_{-}(p,q)^0$ be the semigroups $\mathscr{C}_{+}(a,b)$ and $\mathscr{C}_{-}(a,b)$ with the adjoined zero. We show that the semigroups $\mathscr{C}_{+}(p,q)^0$ and $\mathscr{C}_{-}(p,q)^0$ admit continuum ma
Externí odkaz:
http://arxiv.org/abs/2409.03490
Autor:
Beklemishev, Lev D., Wang, Yunsong
Polymodal provability logic GLP is incomplete w.r.t. Kripke frames. It is known to be complete w.r.t. topological semantics, where the diamond modalities correspond to topological derivative operations. However, the topologies needed for the complete
Externí odkaz:
http://arxiv.org/abs/2407.10190
Autor:
Gutik, Oleg
We find anti-isomorphic submonoids $\mathscr{C}_{+}(a,b)$ and $\mathscr{C}_{-}(a,b)$ of the bicyclic monoid $\mathscr{C}(a,b)$ with the following properties: every Hausdorff left-continuous (right-continuous) topology on $\mathscr{C}_{+}(a,b)$ ($\mat
Externí odkaz:
http://arxiv.org/abs/2405.16992
Autor:
Hager, Anthony W., Wynne, Brian
The property of a vector lattice of sufficiently many projections (SMP) is informed by restricting attention to archimedean $A$ with a distinguished weak order unit $u$ (the class, or category, $\bf{W}$), where the Yosida representation $A \leq D(Y(A
Externí odkaz:
http://arxiv.org/abs/2404.17628
Autor:
Mayr, Peter, Ruškuc, Nik
Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents $e_1,\dots,e
Externí odkaz:
http://arxiv.org/abs/2404.17322
We develop a simple method of constructing topological spaces from countable posets with finite levels, one which applies to all second countable T_1 compacta. This results in a duality amenable to building such spaces from finite building blocks, es
Externí odkaz:
http://arxiv.org/abs/2307.01143
Using the theory of cohomology annihilators, we define a family of topologies on the set of isomorphism classes of maximal Cohen-Macaulay modules over a Gorenstein ring. We study compactness of these topologies.
Comment: 22 pages
Comment: 22 pages
Externí odkaz:
http://arxiv.org/abs/2210.03532
Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of powerdomain to the category of directed spaces,\ which is equivalent to the
Externí odkaz:
http://arxiv.org/abs/2204.09926
We investigate two approximation relations on a T0 topological space, the n-approximation, and the d-approximation, which are generalizations of the way-below relation on a dcpo. Different kinds of continuous spaces are defined by the two approximati
Externí odkaz:
http://arxiv.org/abs/2203.06344
Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which
Externí odkaz:
http://arxiv.org/abs/2203.04506