瓦伦丁·戈兰科;鲁安·凯勒曼;阿尔贝托·扎纳多 树的结构理论。一： 树木的分枝和收缩。 （英语） Zbl 07795664号 控制离散数学。 188-209（2023）第2期第18页. 摘要：树是部分序，其中每个元素都有一组线性有序的前置元素。在这里，我们通过研究树的分支和凝聚树的不同概念来探索树的结构理论，凝聚树是指每个节点都是分支节点的树。然后，我们引入并研究了树压缩的两种不同构造，一种是收缩，另一种是将树扩展为压缩树。第一部分见[提交人，同上18，第2号，210–233（2023；Zbl-xxxx）]。 MSC公司： 06年06月06日 部分订单，通用 关键词：部分订单;树;分支;凝聚树;树木凝结 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，《离散数学》。18，第2号，188--209（2023；Zbl 07795664） 全文： arXiv公司 链接 参考文献： [1] H.Comon、M.Dauchet、R.Gilleron、C.Löding、F.Jacquemard、D.Lugiez、S.Tison和M.Tommasi，树自动机技术和应用程序，在线阅读：https://jacquema.gitlabpages.inria.fr/files/tata.pdf，2008年11月18日发布。 [2] Bruno Courcelle和Joost Engelfriet，图结构和一元二阶逻辑-语言理论方法，《数学百科全书及其应用》，第138卷，剑桥大学出版社，2012年·Zbl 1257.68006号 [3] 罗德尼·G·唐尼（Rodney G.Downey）和迈克尔·R·费罗斯（Michael R.Fellows），《参数化复合物基础》（Fundamentals of parameterized complex-ity），《计算机科学文本》（Texts in Computer Science），施普林格出版社，2013年·Zbl 1358.68006号 [4] V.Goranko，树和有限分支，第二届泛希腊逻辑研讨会论文集，1999年，第91-101页。 [5] V.Goranko和R.Kellerman，与一类线性序相关的树的类和理论，《IGPL逻辑杂志》19（2011），217-232·Zbl 1232.03026号 [6] 《将树近似为有色线性序和某些树类的完全公理化》，《符号逻辑杂志》86（2021），1035-1065·Zbl 1509.03116号 [7] V.Goranko和A.Zanardo，《从线性到分支时间时序逻辑：语义和可定义性的转移》，《IGPL逻辑杂志》第15期（2007年），第53-76页·邮编1124.03005 [8] 布鲁斯·休斯（Bruce Hughes），《树与超度量空间：范畴等价性》（Trees and Ultremetric spaces:a classical equivalence），高等数学。189（1）（2004），148-191·Zbl 1061.57021号 [9] 《树、超度量和非对易几何》，《纯粹和应用数学-数学季刊》第8卷第1期（2012年），第221-312页·Zbl 1251.46038号 [10] T.Jech，Trees，《符号逻辑杂志》36（1971），1-14·Zbl 0245.02054号 [11] R.Kellerman，《树的逻辑理论》，博士论文，威特沃特斯兰德大学，约翰内斯堡，2010年。 [12] 《有界树的一阶理论》，《数理逻辑档案》61（2022），263-297·Zbl 1523.03013号 [13] R.Kellerman、A.Zanardo和V.Goranko A.树木结构理论II。树的完备性和完备性，对离散数学的贡献，18（2）（2023），210-233。 [14] Alex Lemin，超度量空间的范畴与完备、原子、树状和实分格LAT*的范畴同构，代数普适性50（2003），35-49·Zbl 1094.54004号 [15] Peter J.Nyikos，关于Alexandroff和Urysohn的一些非阿基米德空间，拓扑及其应用91（1999），1-23·Zbl 0927.54035号 [16] Michael O.Rabin，无限树上二阶理论和自动机的可判定性，美国数学学会汇刊141（1969），1-35·Zbl 0221.02031 [17] J.G.Rosenstein，《线性排序》，学术出版社，纽约，1982年·Zbl 0488.04002号 [18] M.Sabbadin和A.Zanardo，分支时间语义的拓扑方面，Studia Logica 75（2003），271-286·Zbl 1040.03011号 [19] J.Schmerl，Onℵ0-分类与树理论，《数学基础》94（1977），121-128·兹比尔0352.02036 [20] S.Todorčević，树和线性序集，集论拓扑手册（K.Kunen和J.E.Vaughan，eds.），北荷兰人，1984年，第235-293页·Zbl 0557.54021号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。