摘要
This is an expositive paper reflecting certain viewpoint of intuitionists for the struc- ture of continuum.What we provide is a descriptive theory for Poincaré-type continuum whose first hyperstandard model(PC)was given previously.Here we construct a new hyperstandard model[PC]instead of(PC),and present three propositions related to the concept of semi- infinitesimal.Finally,an application of ■ (non-Cantorian continuum)in Calculus is expounded.
This is an expositive paper reflecting certain viewpoint of intuitionists for the structure of continuum. What we provide is a descriptive theory for Poincaré-type continuum whose first hyperstandard model （PC） was given previously^[3]. Here we construct a new hyperstandard model [PC] instead of （PC）, and present three propositions related to the concept of semi-infinitesimal. Finally, an application of R （non-Cantorian continuum） in Calculus is expounded.Keywords Poincar6＇s intimate bond （IB）; hyperstandard microinterval; semi-infinitesimal; non-punctiform element.
关键词
Poincaré型连续统
基本性质
微间隔
无穷小
Poincaré intimate bond （IB）
hyperstandard microinterval
semi-infinitesimal
non-punctiform element.
