http://sciphysicsopenmanuscript.blogspot.com/

There are 3 existential types, not just 2.

1) That which exists.

2) That which does not exist.

3) That for which existence is indeterminate.

Any trivial is of the third type because “The Existence of a Trivial is Indeterminate”.

This last statement can be proved quite easily. It says that given any unique object, there is no way to determine if the object is really itself, or if it is in fact a trivial clone of itself. This is indeterminate.

One can exploit this existential indeterminacy of the trivials to make all kinds of unusual models.

http://sciphysicsopenmanuscript.blogspot.com/

But division by zero ? I dont think that this will ever work.

Huang

]]>