马春晖 李生刚 翟美娟 麦安婵 陈东立

自由理想空间范畴 I-拓扑 可数概括 在无穷远处函数为零 转换原理 拓扑结构的 具有紧支撑的函数 弱Hausdorff 拓扑 完备一致空间 紧性 拟近标准点 遥远点 κ-饱和 非标准扩大模型 邻域系 笛卡尔闭的 理想 扩大 自由理想 非标准完备化 单子

西安建筑科技大学理学院 陕西西安 西安培华学院基础部 西北大学现代学院 西安陆军学院科学文化基础教研室 西北大学现代学院理工系 陕西师范大学数学与信息科学学院