Constructive gem: double exponentials Mathematics and Computation, 11 Oct 2009 In the last constructive gem we studied the exponential `2^NN` and its isomorphic copies. This time we shall compute the double…