JavaScript is disabled for your browser. Some features of this site may not work without it.
Please note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.
Structural theory of trees. II. Completeness and completions of trees
Trees are partial orderings where every element has a linearly
ordered set of smaller elements. We define and study several natural
notions of completeness of trees, extending Dedekind completeness
of linear orders and Dedekind-MacNeille completions of partial orders.
We then define constructions of tree completions that extend any tree
to a minimal one satisfying the respective completeness property.