摘要
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.