STRUCTURAL THEORY OF TREES I. BRANCHING AND CONDENSATIONS OF TREES

被引：0

作者：

Goranko, Valentin ^{[1
,2
]}

Kellerman, Ruaan ^{[3
]}

Zanardo, Alberto ^{[4
]}

机构：

[1] Stockholm Univ, Stockholm, Sweden

[2] Univ Witwatersrand, Johannesburg, South Africa

[3] Univ Pretoria, Pretoria, South Africa

[4] Univ Padua, Padua, Italy

来源：

CONTRIBUTIONS TO DISCRETE MATHEMATICS | 2023年 / 18卷 / 02期

关键词：

partial order; tree; branching; condensed tree; tree condensation; ULTRAMETRIC SPACES;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Trees are partial orders in which every element has a linearly ordered set of predecessors. Here we initiate the exploration of the structural theory of trees with the study of different notions of branching in trees and of condensed trees, which are trees in which every node is a branching node. We then introduce and investigate two different constructions of tree condensations - one shrinking, and the other expanding, the tree to a condensed tree.

引用

页码：188 / 209

页数：22

共 20 条

[1] Comon H., TREE AUTOMATA TECHNI
[2] Courcelle B, 2012, ENCYCLOP MATH APPL, V138, P1, DOI 10.1017/CBO9780511977619
[3] Downey R. G., 2013, TEXTS COMPUTER SCI, DOI [10.1007/978-1-4471-5559-1, DOI 10.1007/978-1-4471-5559-1]
[4] Goranko V., 1999, P 2 PANHELLENIC LOGI, P91
[5] From linear to branching-time temporal logics: Transfer of semantics and definability
Goranko, Valentin
Zanardo, Alberto
[J]. LOGIC JOURNAL OF THE IGPL, 2007, 15 (01) : 53 - 76
[6] Classes and theories of trees associated with a class of linear orders
Goranko, Valentin
Kellerman, Ruaan
[J]. LOGIC JOURNAL OF THE IGPL, 2011, 19 (01) : 217 - 232
[7] Trees and ultrametric spaces: a categorical equivalence
Hughes, B
[J]. ADVANCES IN MATHEMATICS, 2004, 189 (01) : 148 - 191
[8] Hughes B, 2012, PURE APPL MATH Q, V8, P221
[9] TREES
JECH, TJ
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (01) : 1 - &
[10] Kellerman R., 2010, Ph.D. thesis

← 1 2 →