On parametrical expressibility in the free void-generated diagonalizable algebra
Andrei Rusu
TL;DR
This paper demonstrates the existence of infinitely many precomplete classes of term functions in a specific algebraic structure, highlighting the richness of parametrical expressibility in that context.
Contribution
It establishes that in the free-void generated diagonalizable algebra, there are infinitely many classes of functions that are precomplete with respect to parametrical expressibility.
Findings
Infinitely many precomplete classes of functions identified.
Precompleteness relates to parametrical expressibility in the algebra.
Highlights the complexity of function classes in the algebra.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Fuzzy and Soft Set Theory · Advanced Topics in Algebra