Results 41 to 50 of about 119 (83)
Algebras of full terms constructed from transformations with fixed set [PDF]
Based on the notion of full transformations with fixed set, in this paper, we present a novel concept of $n$-ary $Fix(I_n,Y)$-full terms. This term can be considered as a generalization of strongly full terms, permutational full terms and full terms ...
Changphas, Thawhat +2 more
core +1 more source
Locally finite M-solid varieties of semigroups [PDF]
, 2003 An algebra of type τ is said to be locally finite if all its finitely generated subalgebras are finite. A class K of algebras of type τ is called locally finite if all its elements are locally finite. It is well-known (see [2]) that a variety of algebras
Pibaljommee, Bundit, Denecke, Klaus
core +1 more source
Human Hypersubstitution Theory: Critical Rehumanization in Algorithmic Ecosystems
The rise of autonomous algorithmic systems has been reconfiguring the ontological, epistemological, and relational foundations of the human condition.
Marcelo Salvador Celestino +2 more
core
Orders of Generalized Hypersubstitutions of Type τ = (3)
, 2020 The concept of generalized hypersubstitutions was introduced by S. Leeratanavalee and K. Denecke in 2000. We used it as the tool to study strong hyperidentities and strongly solid varieties.
Sivaree Sudsanit, Sorasak Leeratanavalee
core
The partial clone of linear formulas
, 2019 A term t is linear if no variable occurs more than once in t. An identity s ≈ t is said to be linear if s and t are linear terms. Identities are particular formulas. As for terms superposition operations can be defined for formulas too.
Denecke, Klaus-Dieter (Prof. Dr. rer. nat habils Dr. h.c.)
core +1 more source
LEFT SYMMETRIC LEFT DISTRIBUTIVE MAGMAS AND HYPERSUBSTITUTIONS
Demonstratio Mathematica, 2006 The author generalizes results reached by \textit{Sr. Arworn} and \textit{K. Denecke}, [Demonstr. Math. 32, No. 4, 677-686 (1999; Zbl 0955.08006)], and \textit{A. Vanzurová} [Contrib. Gen. Algebra 14, 173-187 (Zbl 1067.20083)]. Dropping idempotency the author obtains a generalization, the variety SD of left symmetric left distributive groupoids.
openaire +2 more sources
Proper P-compatible hypersubstitutions
, 2016 Let \(F=\{f_i\mid i\in I\}\) be a set of operation symbols of a type \(\tau\) and \(P\) a partition on \(F\). An equation \(s\approx t\) of terms of type \(\tau\) is called \(P\)-compatible if it has the form \(x\approx x\) or \(f_i(t_1,\dots,t_{n_i})\approx f_j(t_1',\dots,t_{n_j}')\) where \(f_i\) and \(f_j\) belong to the same \(P\)-block.
Denecke, Klaus +1 more
openaire +2 more sources
Silent but not static: accelerated base-pair substitution in silenced chromatin of budding yeasts. [PDF]
PLoS Genet, 2008 Teytelman L, Eisen MB, Rine J.
europepmc +1 more source
Multi-solid varieties and Mh-transducers
, 2007 We consider the concepts of colored terms and multi-hypersubstitutions. If t∈Wτ(X) is a term of type τ, then any mapping αt:PosF(t)→N of the non-variable positions of a term into the set of natural numbers is called a coloration of t.
Shtrakov, S.
core +2 more sources
Green's relation R on the monoid of clone endomorphisms
, 2005 A hypersubstitution is a map which takes n-ary operation symbols to n-ary terms. Any such map can be uniquely extended to a map defined on the set W-tau(X) of all terms of type tau, and any two such extensions can be composed in a natural way.
Denecke, Klaus-Dieter +1 more
core