Authors: Victor Porton
In the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers, real numbers generalizing rational numbers, complex numbers generalizing real numbers, etc. The formal consideration of this may be especially useful for computer proof assistants.
Comments: 2 Pages.
[v1] 16 Sep 2009
Unique-IP document downloads: 88 times
Add your own feedback and questions here: