Jean-Claude拉乌尔 通过归纳法证明开放性。 （英语） Zbl 0661.04002号 信息处理。莱特。 29，第1期，第19-23页（1988年）. 作者定义了诺特归纳法的概念，它推广了自然数的强归纳法和超限归纳法，并在一定意义上证明了它是最普遍的归纳法类型。他还表明，对于归纳和开放的属性，在完全偏序（每个非空链都有一个最小上界）下，满足它的元素集在下拓扑中是开放的（如果子集包含其有向子集的最小上界，则在下拓扑中子集是闭合的）。审核人：K·H·金 引用于2评论引用于20文件 MSC公司： 03E25型 选择公理和相关命题 06年06月06日 部分订单，通用 关键词：有序集合；良好准阶；有效证据；诺特诱导；完全部分订单 软件：开放式入职培训 PDF格式BibTeX公司 XML格式引用 \textit｛J.-C.Raoult｝，Inf.过程。莱特。29，第1号，19--23（1988；Zbl 0661.0402） 全文： 内政部 参考文献： [1] 科恩，P.M.，《普遍代数》（1981），《雷德尔：雷德尔·多德雷赫特》，荷兰·Zbl 0141.01002号 [2] 吉尔兹，G。；霍夫曼，K.H。；Keimel，K。；劳森·J·D。；Mislove，M。；Scott，D.S.，《连续格纲要》（1980），《施普林格：施普林格柏林》·Zbl 0452.06001号 [3] Kruskal，J.B.，Well拟序，树定理和Vazsonyi猜想，Trans。艾姆斯，95110-225（1960）·Zbl 0158.27002号 [4] 斯莫林斯基，C.，《树木经验的多样性》，《数学》。《情报员》，4，4，182-189（1982）·Zbl 0521.03041号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。