Work

The Arias Function: An Iteration of the Rayo Operator in a Second-Order Language

Year: 2026

Type: article

Abstract: We introduce a function of extreme growth defined by iterating the Rayo operator in a second-order formal language. Although the function was constructed independently, its analysis reveals that its canonical form corresponds to a functional iteration of Rayo₂. A conceptual interpretation of this function as an iteration of the principle of maximal definability is discussed, and a concrete value, called the Arias number, is introduced as a reference of its magnitude.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18421516

Author: Arias Dubasik, Daniel

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7126069159

FWCI:

Cites:

Cited by:

Related to: