This article is cited in 1 paper

Definable functions of universal algebras and definable equivalence between algebras

A. G. Pinus

ul. Revolyutsii 10-15, Novosibirsk, 630099, Russia

Abstract: Research into universal algebras (for different classifications included) is generally confined to working with termal (or polynomial) functions of these algebras. Attempts to go beyond the range of the functions mentioned while staying within the frames of functions naturally definable on the algebras under consideration led the author to the idea of studying conditional termal functions (and their different generalizations such as positively, elementarily conditional termal, implicit, and abstract functions). As a continuation of studies in naturally definable functions on universal algebras, we propose to consider $L$-definable functions, where $L$ is some logical language. This most general approach turns out to be connected with a scheme for defining conditional termal functions and their generalizations, as well as with various derivative structures of universal algebras.
Here we present $L$-definable functions on universal algebras and outline their basic properties. On this basis, also, we introduce the notion of $L$-definably equivalent algebras, which is a generalization of the concept of being rationally equivalent for algebras.

Keywords: universal algebra, $L$-definable function on universal algebra, $L$-definably equivalent algebras.

UDC: 512

Received: 14.03.2013

 English version: Algebra and Logic, 2014, 53:2, 166–175

Bibliographic databases:

• 
• 
•