Branchwise-real trees and bisimulations of potentialist systems (2023)

First Author: Adam-Day S

Attributed to: Potentialist Systems for Set Theory and Beyond funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.5287/ora-zbpy742kq

Publication URI: https://ora.ox.ac.uk/objects/uuid:72dd8acb-10bb-47f5-8a44-cb56e7a7e5a7

Type: Thesis