The boogolduplex is equal to {10,10,boogolplex} in BEAF. It is equal to 10↑↑...↑↑10 in arrow notation, where there are boogolplex ↑'s. The term was coined by Jonathan Bowers.
The boogolduplex is equal to {10,10,boogolplex} in BEAF. It is equal to 10↑↑...↑↑10 in arrow notation, where there are boogolplex ↑'s. The term was coined by Jonathan Bowers.