Weak homomorphisms of distributive p-algebras
Weak homomorphisms of systems of equations
Weak isomorphisms of abelian lattice ordered groups
Weak products for universal algebra and model theory
Weak subalgebra lattices
Weak subalgebra lattices of monounary partial algebras
Weakly regular algebras in varieties with principal compact congruences
Wreath products of algebras: generalizing the Krohn-Rhodes theorem to arbitrary algebras.
X-simplicity of interval max-min matrices
A matrix is said to have -simple image eigenspace if any eigenvector belonging to the interval containing a constant vector is the unique solution of the system in . The main result of this paper is an extension of -simplicity to interval max-min matrix distinguishing two possibilities, that at least one matrix or all matrices from a given interval have -simple image eigenspace. -simplicity of interval matrices in max-min algebra are studied and equivalent conditions for interval...
Z specification of object oriented constraint programs.
Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of difficulty. No universally accepted formal language exists for communicating about OOCPs, which makes...
Zobecnění teorému symetrizace
Zu Äquivalenz- und Ordnungsrelationen
Zur Charakterisierung von Kongruenzrelationen durch Abbildungen.
Zur Darstellung von Polynomen auf De Morgan Algebren
Zur Struktur der inversen Teilbarkeitshalbgruppen.
Zur Theorie der zusammengesetzten Gruppen.
-group congruences on regular -semigroups.
-ideals in the lattice of semi -ideals
-Hamiltonian and -regular algebraic structures
The concept of a -closed subset was introduced in [1] for an algebraic structure of type and a set of open formulas of the first order language . The set of all -closed subsets of forms a complete lattice whose properties were investigated in [1] and [2]. An algebraic structure is called - hamiltonian, if every non-empty -closed subset of is a class (block) of some congruence on ; is called - regular, if for every two , whenever they have a congruence class in common....
-isomorphic algebraic structures
For an algebraic structure or type and a set of open formulas of the first order language we introduce the concept of -closed subsets of . The set of all -closed subsets forms a complete lattice. Algebraic structures , of type are called -isomorphic if . Examples of such -closed subsets are e.g. subalgebras of an algebra, ideals of a ring, ideals of a lattice, convex subsets of an ordered or quasiordered set etc. We study -isomorphic algebraic structures in dependence on the...