让·古鲍特·拉雷克 无限Noetherian结构。一： 无限的单词。 （英语） 兹比尔1498.54031 集体数学。 168，编号2，257-286（2022）. 准序或预序是自反和传递关系。A类良好准阶(wqo公司)是一个拟序集，其中每个无限序列\（（x_n）{n\in\mathbb{n}}\）必须包含两个元素\（x_m\leqx_n\）和\（m<n\）。A类诺瑟空间是一个拓扑空间，其中每个开集都是紧的。它是在[J.古堡-拉雷克，“关于Noetherian空间”，in：Proc。2007年第22届IEEE计算机科学逻辑年会。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会出版社。453–462（2007年；doi:10.1109/LICS.2007.34)]Noetherian空间形成了wqo的序理论概念的自然拓扑推广。本文定义并研究了无限集空间和无限词空间的Noether拓扑，并得到了S表示，即这些空间的同构的可计算表示。研究表明，Noetherianess在一些常见的无限结构下保持不变，这些结构刺激了bqos（单词bqo公司是更好拟阶概念的缩写，在[C.S.J.A.纳什-威廉姆斯，程序。外倾角。菲洛斯。Soc.64273-290（1968年；Zbl 0155.02404号)])，并且这些无限结构的设计使得闭子集具有适合于在计算机上实现的有限表示。审核人：徐晓泉（漳州） 引用于1审查引用于三文件 MSC公司： 54G99型 特殊拓扑空间 06A07年 偏序集的组合数学 54D99型 拓扑空间的一般性质 关键词：诺特空间;良好准阶;无限单词 引文：Zbl 0155.02404号 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}，《大学数学》。168，编号2，257--286（2022；Zbl 1498.54031） 全文： 内政部 arXiv公司 哈尔 参考文献： [1] A.Finkel和J.Goubault-Larrecq，WSTS的正向分析，第一部分：完井，收录于：S.Albers和J.-Y.Marion（编辑），Proc。第26届计算机科学理论方面年度研讨会（STACS’09），Leibniz Int.Proc。《信息学3》，莱布尼兹·泽特鲁姆·福尔·Informatik，弗莱堡，2009年，第433-444页·兹比尔1213.68019 [2] A.Finkel和J.Goubault-Larrecq，WSTS的正向分析，第一部分：完备性，数学。结构计算机科学。30（2020），752-832（[1]的修订和扩展版本）·Zbl 1491.68122号 [3] J.Goubault Larrecq，《论诺瑟空间》，载：Proc。第22届IEEE计算机科学逻辑年会（LICS’07）（Wrocław，2007），IEEE计算机社会出版社，453-462。 [4] J.Goubault-Larrecq，非豪斯道夫拓扑和领域理论——点集拓扑中的选定主题，新数学。单声道。22，剑桥大学出版社，2013年·Zbl 1280.54002号 [5] S.Halfon，《关于井拟序的有效表示》，博士论文，ENS Paris-Saclay，Univ.Paris-Sacclay，2018年。 [6] 希格曼，抽象代数中的可除性排序，Proc。伦敦数学。《刑法典》第2卷（1952年），第326-336页·Zbl 0047.03402号 [7] P.Jančar，关于幂集的良好拟序的注记，信息处理。莱特。72 (1999), 155-160. ·Zbl 0998.06002号 [8] R.Laver，Well-拟阶和有限序列集，数学。程序。剑桥菲洛斯。《社会分类》第79卷（1976年），第1-10页·Zbl 0405.06001号 [9] J.Leroux和S.Schmitz，矢量加法系统中可达性的解密，载于：第30届ACM/IEEE计算机科学逻辑研讨会，LICS 2015（京都，2015），IEEE计算机学会，2015，56-67·Zbl 1392.68308号 [10] 马可尼，《bqo理论基础》，译。阿默尔。数学。《社会分类》第345卷（1994年），第641-660页·Zbl 0861.06002号 [11] C.S.-J.A.Nash-Williams，关于更好的拟序超限序列，数学。程序。剑桥菲洛斯。Soc.64（1968），273-290·Zbl 0155.02404号 [12] R.Rado，向量集的部分良好排序，Mathematika 1（1954），89-95·Zbl 0057.04302号 [13] A.Schalk，广义幂结构代数，博士论文，Technische Hoch-schule Darmstadt，1993年；网址：http://www.cs.man.ac.uk/～schalk/publ/diss.ps.gz·Zbl 0900.68275号 [14] W.Thomas，无限对象上的自动机，J.van Leeuwen（编辑），形式模型和语义，理论计算机科学手册，第4章，Elsevier，阿姆斯特丹，1990年，133-191年·Zbl 0900.68316号 [15] Jean Goubault-Larrecq巴黎大学Saclay CNRS，ENS Paris-Saclay Laboratoire Méthodes Formelles 4，Avenue des Sciences 91190 Gif-sur-Yvette，France E-mail:goubault@lsv.fr 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。