On 2013-11-28 21:03:11 -0800, G. William (Bill) Walster wrote:
[About Section 7, on flavors]
I thought Section 7 required the use of point function domains of definition
based on the set of real numbers and/or its two-point compactification.
Permitting a foundation based on the one-point compactification of the reals
would be a step in the right direction.
What about a foundation based on both the one- and two-point
compactifications as well as other consistent systems.
I don't see why a compactification would be needed in P1788.
In general, compactification is not used in math, or it is
introduced for particular problems. This could be useful as a
flavor for some applications, but note that one- and two-point
compactifications are incompatible with each other.