Branchwise-real trees and bisimulations of potentialist systems
<p>This thesis concerns two topics. The first treats R-trees, which are a certain kind of metric space tree in which every point can be branching. Favre and Jonsson posed the following problem in 2004: can the class of partial orders underlying R-trees be characterised by the fact that every b...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2023
|
| Subjects: |