THE MAIN ASPECTS MODELLING OF THE REAL AND COMPLEX ANALYSIS IN THE FRAMEWORK OF HYPERNATURAL
Read the full article
Formalized theory of hyperrational numbers is stated in the paper. The theory is used for modeling of the real and complex analysis elements in the framework of formalized number theory. The idea of such modeling comes from A. Dragalin. The result functions modeling the real and complex functions are given as an application.