Climbing method

The climbing method is a method used by Jonathan Bowers to create spaces larger than X^^X spaces in BEAFJonathan Bowers, Spaces (2020), and googologists have attempted to use it to define ordinal tetration and higher hyperoperators. It uses an operation called an "infinity barrier" to represent a power-tower of Xs that has a transfinite number of exponents. As of 2022, it hasn't been formalized in terms of set theory. It means that BEAF is ill-defined in that realm for now.
==Sources==
Category:Unformalised
Category:Jonathan Bowers