{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,6]]，“日期时间”：“2024-06-06T21:15:30Z”，“时间戳”：1717708530301}，“参考计数”：14，“出版商”：“Walter de Gruyter GmbH”，“问题”：“3”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short-container-ti tle“：[]，”published-print“：{“日期部分”：[[2008,1,1]]}，“摘要”：“基于零的有限序列的选定子序列的基本性质和概念在这里，我们发展了基于零的有限序列理论，它有时比普通的基于一的有限序列更有用。引入了基本函数Sgm以及正规有限序列的情况，并引入了其他概念。然而，许多定理是正规有限序列旧定理的修正，它们基本上是重要的，并且是应用所必需的。引入了选择子序列的新概念。这个概念来源于个体遍历定理（参见[7]），它是对其证明的准备<\/jats:p>“，”DOI“：”10.2478\/v10037-008-0034-y“，”type“：”journal-article“，”created“：{”date-parts“：[[2009,3,21]]，”date-time“：”2009-03-21T01:07:26Z“，”timestamp“：1237597646000}，”page“：2478英寸卷：“16”，“作者”：[{“given”：“Yatsuka”，“family”：“Nakamura”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Hisashi”，“家族”：“Ito”，“序列”：“additional”，“ffiliation”：[]}]，“member”：“374”，“reference”：[}“key”：Grzegorz Bancerek“，“年份”：“1990年”，“新闻标题”：“形式化数学“}，{“key”：“2”，“首页”：“41”，“文章标题”：“自然数的基本性质”，“卷”：“1”，“作者”：“Grzegorz Bancerek”，“年份”：“1990”，“期刊标题”：《形式化数学》Grzegorz Bancerek“，“年”：“1990”，“日记标题”：“形式化数学”}，{“键”：“4”，“首页”：“91”，“文章标题”：《序数》，“卷”：“1”，“作者”：“Grzegor z Banceerk”，“年“：“1990年”，“日志标题”：”形式化数学作者“：”Czes\u0142aw Byli\u0144ski“，“年”：“1990”，“日记标题”：“形式化数学”}，{“键”：“6”，“首页”：“165”，“文章标题”：”有限集“，“卷”：“1”，“作者”：“Agata Darmochwa\u0142”，“年份”：“1990”，“日志标题”：《形式化数学》}，}“关键”：“7”，“作家”：“Paul Halmos”，“年度”：“1956”，”日志标题“：”遍历理论讲座“}，{“key”：”8“，”首页“：”35“，”文章标题“：”实数的基本性质“，”卷“：”1“，”作者“：”Krzysztof Hryniewiecki“，”年份“：”1990“，”期刊标题“：“形式化数学”}，{”键“：”9“，”第一页“：“：”形式化数学“}，{“键”：“10”，“首页”：“399”，“文章标题”：“基数和有限集”，“卷”：“3”，“作者”：“卡罗尔P\u03b1k.”，“年”：“2005”，“期刊标题”：《形式化数学》}，}“键“：“11”，“第一页”：”341“2003”，“期刊标题：“形式化数学”}，{“键”：“12”，“首页”：“67”，“文章标题”：“子集的性质”，“卷”：“1”，“作者”：“Zinaida Trybulec”，“年”：“1990”，“期刊标题”：“形式化数学”}，{“键”：“13”，“首页”：“825”，“文章标题”：“基于零的有限序列”，“卷”：“4”，“作者”：“Tetsuya Tsunetou”，“年”：“2001”journal-title“：“形式化数学”}，{“key”：“14”，“首页”：“73”，“article-title”：“关系及其基本属性”，“卷”：“1”，“作者”：“Edmund Woronowicz”，“年份”：“1990”，“日记标题”：“形式主义数学”}]，“容器标题”：[“形式化的数学”]，“原始标题”：[]，“链接”：[{“URL”：“http:\/\/content.sciendo.com/view\/journals\/forma\/16\/3\/article-p283.xml“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”https:\/\/www.degruyter.com\/view\/j\/forma.2008.16.issue-3\/v10037-008-0034-y\/v1037-008-0034-y.pdf“，”内容类型“：”未指定“，“content-version”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2020,5,30]]，“日期-时间”：“2020-05-30T15:27:30Z”，“时间戳”：1590852450000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/content.scindo.com\/doi\/10.2478\/v10037-008-0034-y”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2008,1,1]]｝，“参考文献计数“：14，”新闻发布“：{“发布”：“3”}，“URL”：“http://\/dx.doi.org\/10.247\/v10037-008-0034-y”，“关系”：{}，”ISSN“：[”1898-9934“，”1426-2630“]，”ISSN-type“：[{”value“：”1898-9964“，”type“:”electronic“}，{”value“：”1426-263“，”类型“：”print“}]，“主题”：[]，“已发布”：{”date-parts“：[2008,1,1]]}}