排序方式: 共有2条查询结果,搜索用时 2 毫秒
1
1.
本文给出了Poincar\'{e}直觉主义连续统的一种超标准模型[PC],并证明了三条基本性质. [PC]是模型(PC)的深化和改进.作为其应用,文中还概述了子模型$\overline{R}$ (非Cantor型连续统)上的一种非标准微积分. 相似文献
2.
1