On parametrical expressibility in the free void-generated diagonalizable algebra
Logic
2013-03-13 v1 Discrete Mathematics
Logic in Computer Science
Abstract
In the present paper we show that there are infinitely many classes of term functions in the free-void generated diagonalizable algebra, which are precomplete with respect to parametrical expressibility of functions.
Cite
@article{arxiv.1303.1613,
title = {On parametrical expressibility in the free void-generated diagonalizable algebra},
author = {Andrei Rusu},
journal= {arXiv preprint arXiv:1303.1613},
year = {2013}
}
Comments
4 pages