A proof-theoretic approach to non standard analysis (continued)
作者： Shih-Chao Liu
DOI: 10.1007/BFB0099391
关键词: Non-standard analysis 、 Mathematics 、 Calculus
摘要:
springer.com
sci-hub.se 参考文章(6)
Michael M. Richter, Ideale Punkte, Monaden und Nichtstandard-Methoden Vieweg+Teubner Verlag. ,(1982) , 10.1007/978-3-322-85726-2
Shih-Chao Liu, A Proof-theoretic Approach to Non-standard Analysis with Emphasis on Distinguishing between Constructive and Non-constructive Results* Studies in logic and the foundations of mathematics. ,vol. 101, pp. 391- 414 ,(1980) , 10.1016/S0049-237X(08)71270-9
Karel Hrbacek, Axiomatic foundations for Nonstandard Analysis Fundamenta Mathematicae. ,vol. 98, pp. 1- 19 ,(1978) , 10.4064/FM-98-1-1-19
Petr Vopěnka, Mathematics in the alternative set theory ,(1979)
H. Jerome Keisler, Foundations of infinitesimal calculus ,(1976)
Edward Nelson, Internal set theory: A new approach to nonstandard analysis Bulletin of the American Mathematical Society. ,vol. 83, pp. 1165- 1199 ,(1977) , 10.1090/S0002-9904-1977-14398-X