Results 301 to 310 of about 3,471,986 (360)
Some of the next articles are maybe not open access.
Order, 2005
The authors introduce the notion of homomorphism and of a congruence relation for arbitrary partially ordered set (poset). Let \(P\) be a poset and \(Q\) a subposet of \(P\). Then \(Q\) is said to be an \(l\)-subposet of \(P\) if the identity map \(Q\to P\) is a homomorphism.
Alfonz Haviar, Judita Lihová
openaire +2 more sources
The authors introduce the notion of homomorphism and of a congruence relation for arbitrary partially ordered set (poset). Let \(P\) be a poset and \(Q\) a subposet of \(P\). Then \(Q\) is said to be an \(l\)-subposet of \(P\) if the identity map \(Q\to P\) is a homomorphism.
Alfonz Haviar, Judita Lihová
openaire +2 more sources
SIAM Journal on Computing, 1983
Four classes of algebras are considered. The algebras in each class contain functions whose behavior models a version of the “if-then-else” instruction. In one version, for example, the algebras contain a function $\kappa $ of four arguments such that $\kappa (x,y,u,v) = u$ if $x = y$ and $\kappa (x,y,u,v) = v$ if $x \ne y$.
Stephen L. Bloom, Ralph Tindell
openaire +1 more source
Four classes of algebras are considered. The algebras in each class contain functions whose behavior models a version of the “if-then-else” instruction. In one version, for example, the algebras contain a function $\kappa $ of four arguments such that $\kappa (x,y,u,v) = u$ if $x = y$ and $\kappa (x,y,u,v) = v$ if $x \ne y$.
Stephen L. Bloom, Ralph Tindell
openaire +1 more source
2009 24th Annual IEEE Conference on Computational Complexity, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On the ideals of secant varieties to certain rational varieties
Journal of Algebra, 2008 17 pages, minor changes for section 3 and ...
Maria Virginia Catalisano +1 more
exaly +6 more sources
VARIETIES DOMINATED BY PRODUCT VARIETIES
International Journal of Mathematics, 1996A variety \(W\) over an algebraically closed field \(\overline k\) is said to be dominated by products of curves (abbreviated DPC) if there exist curves \(X_1, \dots, X_s\) defined over \(\overline k\) and a dominant rational map \(F:X_1 \times \cdots \times X_s \to W\).
openaire +1 more source
Unification in Varieties of Groups: Nilpotent Varieties
Canadian Journal of Mathematics, 1994Abstract In this paper we show that any system of equations over a free nilpotent group of class c is either unitary or miliary. In fact, such a system either has a most general solution (akin to the most general solution of a system of linear dipohantine equations), or every solution
Albert, Michael H., Lawrence, John
openaire +1 more source
Logica Universalis, 2018
The paper surveys and discusses aspects of rigidity of designators in Hintikka's work in modal semantics. The author distinguishes three different variants of rigidity, viz. formal rigidity, semantical rigidity, and linguistic rigidity. The author then argues that these help to explain Hintikka's positions on rigidity and make them more comprehensible ...
openaire +2 more sources
The paper surveys and discusses aspects of rigidity of designators in Hintikka's work in modal semantics. The author distinguishes three different variants of rigidity, viz. formal rigidity, semantical rigidity, and linguistic rigidity. The author then argues that these help to explain Hintikka's positions on rigidity and make them more comprehensible ...
openaire +2 more sources
JOINS OF INVERSE SEMIGROUP VARIETIES AND BAND VARIETIES
International Journal of Algebra and Computation, 1991The joins in the title are considered within two contexts: (I) the lattice of varieties of regular unary semigroups, and (II) the lattice of e-varieties (or bivarieties) of orthodox semigroups. It is shown that in each case the set of all such joins forms a proper sublattice of the respective join of the variety I of all inverse semigroups and the ...
Peter R. Jones, Peter G. Trotter
openaire +2 more sources