埃里克·帕尔姆格伦 建设性非标准分析的发展。 （英语） Zbl 0920.03063号 牛市。符号。日志。 4，第3期，233-272（1998年）. 作者开发了非标准分析的一部分的构造版本，用无穷小方法扩展了毕晓普的构造分析。通过使用sheaf理论结构，得到了完全转移原理和强理想化原理。非标准外壳用于替代非结构标准零件操作符。这导致了无穷小分析，其中包括非构造性定理，如Heine-Borel定理、Cauchy-Peano存在定理和精确的中间值定理。还考虑了使用这些方法的非标准测量理论。审核人：R.A.Herrmann（安纳波利斯） 引用于1审查引用于19文件 MSC公司： 03层60 构造性和递归分析 05年3月 数学中的非标准模型 26E35岁 非标准分析 26E40型 建设性实际分析 28E05号 非标准测度理论 关键词：毕晓普的建设性分析;牧羊人理论;非标准船体;完全转移原则;强烈的理想主义原则;无穷小分析;Heine-Borel定理;Cauchy-Peano存在定理;中间值定理 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren}，公牛。符号。日志。4，第3号，233--272（1998；Zbl 0920.03063） 全文： DOI程序 链接 参考文献： [1] DOI:10.1016/0168-0072（94）00030-7·Zbl 0830.03037号 ·doi:10.1016/0168-0072（94）00030-7 [2] Méthodes et analysis非标准9 pp 369–（1996） [3] 期刊46第625页–（1981） [4] 实践中的非标准分析（1995）·Zbl 0848.26015号 [5] 期刊60第122页–（1995） [6] 建构数学的多样性（1987） [7] 数学基础94第129页–（1977） [8] 建设性分析（1985） [9] 建设性分析基础（1967）·Zbl 0183.01503号 [10] 光滑无穷小分析（1991）·Zbl 0715.18001号 [11] 期刊62第1448页–（1997） [12] DOI:10.1016/0168-0072（93）E0071-U·Zbl 0829.03040 ·doi:10.1016/0168-0072（93）E0071-U [13] COLOG-88计算机逻辑417 pp 146–（1990） [14] 直觉主义类型理论（1984） [15] 几何与逻辑中的滑轮（1992） [16] 内政部：10.2307/3038221·Zbl 0268.26019号 ·doi:10.2307/3038221 [17] 《俄罗斯数学调查》43第65页–（1988） [18] Astérisque 109第235页–（1983） [19] 非标准分析（1989）·Zbl 0682.26010号 [20] 内政部：10.1007/BF00370558·Zbl 0671.03041号 ·doi:10.1007/BF00370558 [21] 无穷小理论导论（1976）·Zbl 0336.26002号 [22] 内政部：10.1007/BF01187391·Zbl 0082.04203号 ·doi:10.1007/BF01187391 [23] 非标准分析（1996）·Zbl 0890.00013号 [24] 内政部：10.1016/0024-3795（90）90379-Q·Zbl 0701.15002号 ·doi:10.1016/0024-3795（90）90379-Q [25] DOI:10.1016/S0168-0072（96）00041-3·Zbl 0880.03032号 ·doi:10.1016/S0168-0072（96）00041-3 [26] 基本概率论（1987）·Zbl 0651.60001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。