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

This work introduces the Arias function, a recursively defined function based on the iteration of the Rayo function. Starting from a fixed initial value, the construction generates a rapidly growing sequence by repeated application of the Rayo operator. The document presents the formal definition of the function, its basic structure, and the resulting large-number construction. This work is intended as a conceptual and definitional contribution within the study of large numbers and fast-growing functions.