Displaying similar documents to “M-solid generalized non-deterministic varieties”

Hyperidentities in many-sorted algebras

Klaus Denecke, Somsak Lekkoksung (2009)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The theory of hyperidentities generalizes the equational theory of universal algebras and is applicable in several fields of science, especially in computers sciences (see e.g. [2,1]). The main tool to study hyperidentities is the concept of a hypersubstitution. Hypersubstitutions of many-sorted algebras were studied in [3]. On the basis of hypersubstitutions one defines a pair of closure operators which turns out to be a conjugate pair. The theory of conjugate pairs of additive closure...

Nd-solid varieties

Klaus Denecke, Prisana Glubudom (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

A non-deterministic hypersubstitution maps any operation symbol of a tree language of type τ to a set of trees of the same type, i.e. to a tree language. Non-deterministic hypersubstitutions can be extended to mappings which map tree languages to tree languages preserving the arities. We define the application of a non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras. Non-deterministic hypersubstitutions can also be applied to equations of...

Radial Minkowski additive operators

Lewen Ji (2021)

Czechoslovak Mathematical Journal

Similarity:

We give some characterizations for radial Minkowski additive operators and prove a new characterization of balls. Finally, we show the property of radial Minkowski homomorphism.

Characterizing Non-Matrix Properties of Varieties of Algebras in the Language of Forbidden Objects

Finogenova, Olga (2012)

Serdica Mathematical Journal

Similarity:

2010 Mathematics Subject Classification: 16R10, 16R40. We discuss characterizations of some non-matrix properties of varieties of associative algebras in the language of forbidden objects. Properties under consideration include the Engel property, Lie nilpotency, permutativity. We formulate a few open problems. * The author acknowledges support from the Russian Foundation for Basic Research, grant 10-01-00524.

Vector Measures, c₀, and (sb) Operators

Elizabeth M. Bator, Paul W. Lewis, Dawn R. Slavens (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Emmanuele showed that if Σ is a σ-algebra of sets, X is a Banach space, and μ: Σ → X is countably additive with finite variation, then μ(Σ) is a Dunford-Pettis set. An extension of this theorem to the setting of bounded and finitely additive vector measures is established. A new characterization of strongly bounded operators on abstract continuous function spaces is given. This characterization motivates the study of the set of (sb) operators. This class of maps is used to extend results...

The lattice of varieties of fibered automata

Anna Mućka (2006)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.