What evidence is there that $2^\hat 65536$ is a natural number?
David Isles
Source: Notre Dame J. Formal Logic Volume 33, Number 4 (1992), 465-480.
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093634481
Zentralblatt MATH identifier:
0795.03088
Mathematical Reviews number (MathSciNet):
MR1199992
Digital Object Identifier: doi:10.1305/ndjfl/1093634481
Notre Dame Journal of Formal Logic
