Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory

Faruk Alpay, Bugra Kilictas, Taylan Alpay

This paper contributes to the Alpay Algebra by demonstrating that the stable outcome of a self referential process, obtained by iterating a transformation through all ordinal stage…