The paper relies on the initial paper with him and Cowgill. In that paper they reconstruct Kneser on \(b > \eta\). From that point, the paper I linked he analytically continues in \(b\). The paper with Cowgill is more indepth, and the one I linked is a little loose.
You are correct though, there isn't much actual construction in the paper, it's more so a proof of existence of the correct functions, and then the double dagger/racetrack method to numerically evaluate it.
http://myweb.astate.edu/wpaulsen/tetration2.pdf
EDIT: Damn, I can never seem to get sage working. Largely because I don't get how to get it to read pari code. I should probably figure that out though, it has so many graphing protocols.
You are correct though, there isn't much actual construction in the paper, it's more so a proof of existence of the correct functions, and then the double dagger/racetrack method to numerically evaluate it.
http://myweb.astate.edu/wpaulsen/tetration2.pdf
EDIT: Damn, I can never seem to get sage working. Largely because I don't get how to get it to read pari code. I should probably figure that out though, it has so many graphing protocols.
