Displaying 1401 – 1420 of 3896

Showing per page

Iterated arc graphs

Danny Rorabaugh, Claude Tardif, David Wehlau, Imed Zaguia (2018)

Commentationes Mathematicae Universitatis Carolinae

The arc graph δ ( G ) of a digraph G is the digraph with the set of arcs of G as vertex-set, where the arcs of δ ( G ) join consecutive arcs of G . In 1981, S. Poljak and V. Rödl characterized the chromatic number of δ ( G ) in terms of the chromatic number of G when G is symmetric (i.e., undirected). In contrast, directed graphs with equal chromatic numbers can have arc graphs with distinct chromatic numbers. Even though the arc graph of a symmetric graph is not symmetric, we show that the chromatic number of the...

Join-closed and meet-closed subsets in complete lattices

František Machala, Vladimír Slezák (2004)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

To every subset A of a complete lattice L we assign subsets J ( A ) , M ( A ) and define join-closed and meet-closed sets in L . Some properties of such sets are proved. Join- and meet-closed sets in power-set lattices are characterized. The connections about join-independent (meet-independent) and join-closed (meet-closed) subsets are also presented in this paper.

Join-semilattices whose sections are residuated po-monoids

Ivan Chajda, Jan Kühr (2008)

Czechoslovak Mathematical Journal

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section...

Join-semilattices with two-dimensional congruence amalgamation

Friedrich Wehrung (2002)

Colloquium Mathematicae

We say that a ⟨∨,0⟩-semilattice S is conditionally co-Brouwerian if (1) for all nonempty subsets X and Y of S such that X ≤ Y (i.e. x ≤ y for all ⟨x,y⟩ ∈ X × Y), there exists z ∈ S such that X ≤ z ≤ Y, and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X, Y, and Z of less than κ elements, for an infinite cardinal κ, we obtain the definition of a conditionally κ-co-Brouwerian...

J-subspace lattices and subspace M-bases

W. Longstaff, Oreste Panaia (2000)

Studia Mathematica

The class of J-lattices was defined in the second author’s thesis. A subspace lattice on a Banach space X which is also a J-lattice is called a J- subspace lattice, abbreviated JSL. Every atomic Boolean subspace lattice, abbreviated ABSL, is a JSL. Any commutative JSL on Hilbert space, as well as any JSL on finite-dimensional space, is an ABSL. For any JSL ℒ both LatAlg ℒ and (on reflexive space) are JSL’s. Those families of subspaces which arise as the set of atoms of some JSL on X are characterised...

Currently displaying 1401 – 1420 of 3896