Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Undecidability, Chaos and Universality in Arithmetic Terms
Gabriel Istrate, Mihai Prunescu, Joseph M. Shunia
Arithmetic terms are finite fixed compositions of additions, subtractions, multiplications, divisions with remainder and exponentiations, containing variables interpreted as natura…
math.LO2026
A Minimal Substitution Basis for the Kalmár Elementary Functions
Mihai Prunescu, Lorenzo Sauras-Altuzarra, Joseph M. Shunia
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 previ…