Work

A Minimal Substitution Basis for the Kalmár Elementary Functions

Year: 2025

Type: preprint

Abstract: We show that the class of Kalmár elementary functions can be inductively generated from the addition, the integer remainder, and the base-two exponentiation, hence improving previous results by Marchenkov and Mazzanti. We also prove that the substitution basis defined by these three operations is minimal. Furthermore, we discuss alternative substitution bases under arity constraints.

Source: arXiv (Cornell University)

Authors: Prunescu, Mihai, Sauras-Altuzarra, Lorenzo, Shunia, Joseph M.

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6979321962

Cites:

Cited by:

Related to: