Results 1 to 10 of about 203 (52)
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source
Independence, infinite dimension, and operators
Moroccan Journal of Pure and Applied Analysis, 2023 In [Appl. Comput. Harmon. Anal., 46 (2019), 664673] O. Christensen and M. Hasannasab observed that assuming the existence of an operator T sending en to en+1 for all n ∈ ℕ (where (en)n∈ℕ is a sequence of vectors) guarantees that (en)n∈ℕ is linearly ...
Idrissi Nizar El, Kabbaj Samir
doaj +1 more source
A metrizable semitopological semilattice with non-closed partial order
Topological Algebra and its Applications, 2020 We construct a metrizable semitopological semilattice X whose partial order P = {(x, y) ∈ X × X : xy = x} is a non-closed dense subset of X × X. As a by-product we find necessary and sufficient conditions for the existence of a (metrizable) Hausdorff ...
Banakh Taras +2 more
doaj +1 more source
On ideals of implicative semigroups
International Journal of Mathematics and Mathematical Sciences, Volume 27, Issue 2, Page 77-82, 2001., 2001 We introduce the notion of ideals in implicative semigroups, and then state the characterizations of the ideals.
Young Bae Jun, Kyung Ho Kim
wiley +1 more source
Positive implicative ordered filters of implicative semigroups
International Journal of Mathematics and Mathematical Sciences, Volume 23, Issue 12, Page 801-806, 2000., 2000 We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter.
Young Bae Jun, Kyung Ho Kim
wiley +1 more source
Alien species revises systematic status: integrative species delimitation of two similar taxa of Symbrenthia Hübner, [1819] (Lepidoptera, Nymphalidae). [PDF]
PeerJ, 2023 Hsu YF +4 more
europepmc +1 more source
L-carnitine improves metabolic disorders and regulates apelin and apelin receptor genes expression in adipose tissue in diabetic rats. [PDF]
Physiol Rep, 2020 Ranjbar Kohan N +3 more
europepmc +1 more source
Prime ideals in 0-distributive posets
Open Mathematics, 2013 Joshi Vinayak, Mundlik Nilesh
doaj +1 more source
On some congruences of power algebras
Open Mathematics, 2012 Pilitowska Agata, Zamojska-Dzienio Anna
doaj +1 more source
Hilbert algebras as implicative partial semilattices
Open Mathematics, 2007 Cīrulis Jānis
doaj +1 more source