内函数逼近定理及上溢原理的推广及应用The extensions of internal function approximation theorem and overflow theorem and theirs applicitaons
陈东立;史艳维;马春晖;
摘要(Abstract)：
在κ-饱和的非标准模型中,首先推广了内函数逼近定理,并用这一推广定理证明了著名的A sco li定理;其次将上(下)溢原理推广到一般的定向集上,并证明了拓扑空间中单子的一些性质,给出了无穷小延伸定理的一个简单证明.
关键词(KeyWords)： 饱和;逼近定理;上溢原理;单子;无穷小延伸定理
基金项目(Foundation): 陕西省教育厅专项科研基金资助项目(03jk066)
作者(Authors): 陈东立;史艳维;马春晖;
参考文献(References)：
- [1]D av is M.A pp lied N onstandard A na lys is[M].N ew Y ork:W iley,1977.
- [2]Chen D ong li.N otes on R ob insons′Sequen tia l L emm a[J].N ortheastM ath.J.,2002,18(4):303-306.
- [3]Cu tland N J.N onstandard m easure theory and its app lication[J].Bu ll.London M ath.Soc.,1983,15(2):526-589.
- [4]Luxem burg W A,G enera l J A.T heory of M onads[J].A pp lications of M ode l T heory to A lgebra andP robab ility,1969,12(1):18-86.