Complexity of term representations of finitary functions
classification
🧮 math.RA
math.LO
keywords
operationsstructuretermboundsfunctionsalgebraicbasicchange
read the original abstract
The clone of term operations of an algebraic structure consists of all operations that can be expressed by a term in the language of the structure. We consider bounds for the length and the height of the terms expressing these functions, and we show that these bounds are often robust against the change of the basic operations of the structure.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.