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...
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Luận văn |
| Ngôn ngữ: | English |
| Được phát hành: |
2023
|
| Những chủ đề: |