Results 281 to 290 of about 4,167,883 (315)

Varieties of Posets

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

Varieties of ”If-Then-Else“

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

Extractors for Varieties

2009 24th Annual IEEE Conference on Computational Complexity, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

VARIETIES DOMINATED BY PRODUCT VARIETIES

International Journal of Mathematics, 1996
A 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, 1994
Abstract 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

Varieties of Rigidity

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

JOINS OF INVERSE SEMIGROUP VARIETIES AND BAND VARIETIES

International Journal of Algebra and Computation, 1991
The 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

Home - About - Disclaimer - Privacy