Results 61 to 70 of about 260 (120)

Hyperidentities of QZ-algebras

open access: closedSiberian Mathematical Journal, 1989
The symbol \({\mathfrak P}^*_ A\) denotes the algebra \(\) of type \(\) where \(P_ A\) is the set of all operations on A and \((\zeta f)(x_ 1,...,x_ n)=f(x_ 2,...,x_ n,x_ 1)\), \((\tau f)(x_ 1,...,x_ n)=f(x_ 2,x_ 1,x_ 3,...,x_ n)\), \((\Delta f)(x_ 1,...,x_ n)=f(x_ 1,x_ 1,x_ 2,...,x_{n- 1})\), \((f*g)(x_ 1,...,x_{n+m-1})=f(g(x_ 1,..,x_ m),x_{m+1 ...
I. A. Mal’tsev, Dietmar Schweigert
openalex   +3 more sources

A Hyperbase for Binary Lattice Hyperidentities

open access: closedJournal of Automated Reasoning, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
R. Padmanabhan, Patrick Penner
openalex   +3 more sources

Hyperidentities of Quasilinear Clones Containing Creative Functions

open access: closedAlgebra and Logic, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
I. A. Mal’tsev
openalex   +3 more sources

Hyperidentities of lattices and semilattices

open access: closedAlgebra Universalis, 1981
Following W. Taylor we define a hyperidentity ∈ to be formally the same as an identity (e.g.,F(G(x, y, z), G(x, y, z))=G(x, y, z)). However, a varietyV is said to satisfy a hyperidentity ∈, if whenever the operation symbols of ∈ are replaced by any choice of polynomials (appropriate forV) of the same arity as the corresponding operation symbols of ...
Patrick Penner
openalex   +2 more sources

Home - About - Disclaimer - Privacy