05/24/2008, 10:10 AM

Are there by the way some extension (at best with uniqueness criterions) of the exponential factorial to real/complex height out there? I would swear that it also can be captured by the universal uniqueness criterion.